A Bottom-Up Approach to Clausal Tableaux

DOI10.1007/978-3-540-73099-6_16zbMath1132.03317OpenAlexW1550028818MaRDI QIDQ5434490

Nicolas Peltier

Publication date: 4 January 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73099-6_16

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

This page was built for publication: A Bottom-Up Approach to Clausal Tableaux