Automated Deduction – CADE-20

DOI10.1007/11532231zbMath1135.03323OpenAlexW2485416161MaRDI 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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (4)

Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited ⋮ Decision procedures for term algebras with integer constraints ⋮ A combined superposition and model evolution calculus ⋮ Decision Procedures for Automating Termination Proofs

This page was built for publication: Automated Deduction – CADE-20