scientific article; zbMATH DE number 2090084

zbMath1045.03013MaRDI QIDQ4808758

Franz Baader, Cesare Tinelli

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780352.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Related Items

Non-disjoint combined unification and closure by equational paramodulation, Quantifier Elimination and Provers Integration, Model-theoretic methods in combined constraint satisfiability