Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ján Komara, Paul J. Voda |
On Quasitautologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 231-245, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Egly |
Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 158-172, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ortrun Ibens, Reinhold Letz |
Subgoal Alternation in Model Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 201-215, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ryuzo Hasegawa, Hiroshi Fujita 0002, Miyuki Koshimura |
MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 1-15, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Duminda Wijesekera, M. Ganesh 0001, Jaideep Srivastava, Anil Nerode |
Tableaux for Functional Dependencies and Independencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 358-372, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gwen Kerdiles |
Projection: A Unification Procedure for Tableaux in Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 216-230, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Peltier |
Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 313-327, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Hähnle, Christian Pape 0001 |
Ordered Tableaux: Extensions and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 173-187, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Umberto Straccia |
A Sequent Calculus for Reasoning in Four-Valued Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 343-357, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Shults |
A Framework for Using Knowledge in Tableau Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 328-342, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Didier Galmiche (eds.) |
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![Springer, 3-540-62920-3 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001, Peter Fröhlich 0001, Ulrich Furbach, Wolfgang Nejdl |
Tableaux for Diagnosis Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 76-90, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Grigori Mints |
Three Faces of Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 16-30, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang May |
Proving Correctness of Labled Transition Systems by Semantic Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 261-275, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Seiki Akama |
Tableaux for Logic Programming with Strong Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 31-42, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jacob M. Howe |
Two Loop Detection Mechanisms: A Comparision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 188-200, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Li Dafa |
Automated Natural Deduction Prover and Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 153-157, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jens Otten |
ileanTAP: An Intuitionistic Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 307-312, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Rajeev Goré |
Free Variable Tableaux for Propositional Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 91-106, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Paul Billon |
The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 110-126, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri |
A Simple Tableau System for the Logic of Elsewhere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 177-192, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alain Heuerding, Michael Seyfried, Heinrich Zimmermann |
Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 210-225, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Christian Pape 0001 |
Incremental Theory Reasoning Methods for Semantic Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 93-109, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 312-329, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti |
Sequent Calculi for Default and Autoepistemic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 127-142, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | François Bry, Adnan H. Yahya |
Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 143-159, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ilkka Niemelä |
A Tableau Calculus for Minimal Model Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 278-294, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Alechina |
Interpolation for a Sequent Calculus of Generalized Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 36-47, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Marcello D'Agostino, Dov M. Gabbay |
Fibred Tableaux for Multi-Implication Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 16-35, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Avellone, Mauro Ferrari 0002 |
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 48-64, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi (eds.) |
Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![Springer, 3-540-61208-4 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy V. Pitt, Jim Cunningham |
Distributed Modal Theorem Proving with KE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 160-176, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael Mendler |
A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 261-277, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bertram Fronhöfer |
Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 193-209, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Christian G. Fermüller |
Combining Many-valued and Intuitionistic Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 65-79, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Peter B. Andrews, Matthew Bishop |
On Sets, Types, Fixed Points, and Checkerboards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 1-15, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jens Otten, Christoph Kreitz |
T-String Unification: Unifying Prefixes in Non-classical Proof Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 244-260, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Becher |
Cyclic Connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 80-92, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eike Ritter, David J. Pym, Lincoln A. Wallen |
On the Intuitionistic Force of Classical Search (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 295-311, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco |
Strong Normalization for All-Style LK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 226-243, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robert K. Meyer, Michael A. McRobbie, Nuel Belnap |
Linear Analytic Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 278-293, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Schmitt, Christoph Kreitz |
On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 106-121, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001, Reiner Hähnle, Joachim Posegga (eds.) |
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![Springer, 3-540-59338-1 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Caferra, Nicolas Peltier |
Model Building and Interactive Theory Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 154-168, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried |
Propositional Logics on the Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 310-323, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ingrid Neumann |
Semantic Tableaus for Inheritance Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 47-62, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001, Frieder Stolzenburg |
Constraint Model Elimination and a PTTP-Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 201-216, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Eric de Kogel |
Rigid E-Unification Simplified. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 17-30, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Judith L. Underwood |
Tableaux for Intuitionistic Predicate Logic as Metatheory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 138-153, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Guido Governatori |
Labelled Tableaux for Multi-Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 79-94, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jens Otten |
A Connection Based Proof Method for Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 122-137, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Christian G. Fermüller |
Non-elementary Speedups between Different Versions of Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 217-230, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kohlhase |
Higher-Order Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 294-309, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Klingenbeck |
Generating Finite Counter Examples with Semantic Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 31-46, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Philippe de Groote |
Linear Logic with Isabelle: Pruning the Proof Search Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 263-277, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath |
Issues in Theorem Proving Based on the Connection Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 1-16, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri |
Using Connection Method in Modal Logics: Some Advantages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 63-78, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Mayr |
Link Deletion in Model Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 169-184, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy V. Pitt |
MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 324-337, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ján Komara, Paul J. Voda |
Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 231-246, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Hudelmaier, Peter Schroeder-Heister |
Classical Lambek Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 247-262, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Johann Schumann |
Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 338-352, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Neugebauer, Uwe Petermann |
Specifications of Inference Rules and Their Automatic Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 185-200, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
Refutation Systems for Propositional Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 95-105, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Lamarre |
A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 52-55, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl (eds.) |
Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt |
Towards Tableau Theorem-Proving with Analytic Cut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 23-25, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Peter Baumgartner 0001 |
A Model Elimination Calculus with Built-in Theories (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 7-10, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Wilfried Neitz |
A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 59-60, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Raoul Vorc'h |
Generalization and Abstraction Using Tableaux-Based Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 79-81, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Tadashi Araragi |
A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 4-6, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Jürgen Lehmann |
A Workbench for Model Elimination (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 46-48, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Vincent Risch, Camilla Schwind |
Tableaux-Based Theorem Proving and Non-Standard Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 76-78, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Roderic A. Girle |
Possible Worlds Tableaux without Explicit Accessibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 27-28, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Thomas Käufl |
The Prover of the Program Verification System Tatzelwurm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 40-42, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Joachim Posegga |
First-Order Shannon Graphs (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 67-69, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic |
Prover 91 - A Parallel Theorem Prover (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 43-45, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Reiner Hähnle |
Analytic Tableau and Integer Programming (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 33-35, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Uwe Petermann |
Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 64-66, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Reinhold Letz, Klaus Mayr |
SETHEO II - The System and its Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 49-51, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Mark Grundy |
Toward an Efficient Tableau Metaprover (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 29-31, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic |
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 61-63, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Nicolas Zabel |
Deciding Fragments of the First Order Logic within an Extended Tableau Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 88-91, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Robert Johnson, Steve Reeves |
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 37-39, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Marcello D'Agostino, Marco Mondadori |
An Improvement of Analytic Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 1-3, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Anavai Ramesh, George Becker, Neil V. Murray |
On Computing Prime Implicants and Prime Implicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 73-75, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Regimantas Pliuskevicius |
The Analityc Tableaux for Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 70-72, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Oliver Bittel |
The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 15-18, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Peter Baumgartner 0001, Ulrich Furbach |
Consolution as a Framework for Comparing Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 11-14, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Graham Wrightson |
Research into Analytic Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 85-87, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Toni Bollinger |
A Model Elimination Calculus for Generalized Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 19-22, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Charles G. Morgan |
An Automated Theorem Prover for Relational Logic (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 56-58, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Wolfgang Wernecke |
Tableau Calculus and Equational Reasoning (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, pp. 82-84, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|