Tableaux and Related Methods (2001)

by Reiner Hähnle
Citations:39 - 3 self

Documents Related by Co-Citation

410 First-Order Logic and Automated Theorem Proving. 2nd edition – Melvin Fitting - 1996
154 Resolution Theorem Proving – Leo Bachmair, Harald Ganzinger - 2001
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
114 Theorem Proving via General Matings – P B Andrews - 1981
30 Incremental closure of free variable tableaux – Martin Giese - 2001
23 Handbook of Tableau Methods – Marcello D’Agostino, Dov M Gabbay, Reiner Hähnle, Joachim Posegga - 1999
126 E - A Brainiac Theorem Prover – Stephan Schulz - 2002
114 Paramodulation-Based Theorem Proving – Robert Nieuwenhuis, Albert Rubio - 1999
130 Solution of the Robbins Problem – William Mccune - 1997
148 Automated Theorem Proving – Wolfgang Bibel - 1987
565 Untersuchungen über das logische Schließen – G Gentzen - 1935
223 Automated Theorem Proving: A Logical Basis – D W Loveland - 1978
173 A.: The design and implementation of VAMPIRE – A Riazanov, Voronkov - 2002
22 Model Elimination and Connection Tableau Procedures – R Letz, S Gernot
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
31 Hyper Tableaux - The Next Generation – Peter Baumgartner, Peter Baumgartner - 1998
9 Comirit: Commonsense Reasoning by Integrating Simulation and Logic – Benjamin Johnston, Mary-anne Williams
8 A generic framework for approximate simulation in commonsense reasoning systems – B Johnston, M A Williams - 2007
15 The ILTP problem library for intuitionistic logic, release v1.1 – Thomas Raths, Jens Otten, Christoph Kreitz