Automated Deduction – CADE-20
From MaRDI portal
Publication:5394610
DOI10.1007/11532231zbMath1135.03323MaRDI QIDQ5394610
Henny B. Sipma, Ting Zhang, Zohar Manna
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11532231
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
68Q42: Grammars and rewriting systems
03C10: Quantifier elimination, model completeness, and related topics
Related Items
A combined superposition and model evolution calculus, Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited, Decision procedures for term algebras with integer constraints, Decision Procedures for Automating Termination Proofs