Abstract is missing.
- An Improvement of Analytic TableauxMarcello D Agostino, Marco Mondadori. 1-3
- A Uniform Prefixed Tableau Method for Positive First-Order Definable SystemsTadashi Araragi. 4-6
- A Model Elimination Calculus with Built-in Theories (Extended Abstract)Peter Baumgartner. 7-10
- Consolution as a Framework for Comparing CalculiPeter Baumgartner, Ulrich Furbach. 11-14
- A Model Elimination Calculus for Generalized ClausesToni Bollinger. 19-22
- Towards Tableau Theorem-Proving with Analytic CutJim Cunningham, Marcello D Agostino, Jeremy V. Pitt. 23-25
- Possible Worlds Tableaux without Explicit AccessibilityRoderic A. Girle. 27-28
- Analytic Tableau and Integer Programming (Extended Abstract)Reiner Hähnle. 33-35
- Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract)Robert Johnson, Steve Reeves. 37-39
- The Prover of the Program Verification System TatzelwurmThomas Käufl. 40-42
- Prover 91 - A Parallel Theorem Prover (Extended Abstract)Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic. 43-45
- SETHEO II - The System and its CalculiReinhold Letz, Klaus Mayr. 49-51
- A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract)Philippe Lamarre. 52-55
- An Automated Theorem Prover for Relational Logic (Abstract)Charles G. Morgan. 56-58
- A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract)Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic. 61-63
- Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract)Uwe Petermann. 64-66
- First-Order Shannon Graphs (Extended Abstract)Joachim Posegga. 67-69
- The Analityc Tableaux for Linear Temporal LogicRegimantas Pliuskevicius. 70-72
- On Computing Prime Implicants and Prime ImplicatesAnavai Ramesh, George Becker, Neil V. Murray. 73-75
- Tableaux-Based Theorem Proving and Non-Standard ReasoningVincent Risch, Camilla Schwind. 76-78
- Generalization and Abstraction Using Tableaux-Based Proof SystemsRaoul Vorc h. 79-81
- Tableau Calculus and Equational Reasoning (Extended Abstract)Wolfgang Wernecke. 82-84
- Research into Analytic TableauxGraham Wrightson. 85-87
- Deciding Fragments of the First Order Logic within an Extended Tableau MethodNicolas Zabel. 88-91