default search action
1st TABLEAUX 1992: Lautenbach near Karlsruhe, Germany
- Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl:
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. 1992 - Marcello D'Agostino, Marco Mondadori:
An Improvement of Analytic Tableaux. TABLEAUX 1992: 1-3 - Tadashi Araragi:
A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. TABLEAUX 1992: 4-6 - Peter Baumgartner:
A Model Elimination Calculus with Built-in Theories (Extended Abstract). TABLEAUX 1992: 7-10 - Peter Baumgartner, Ulrich Furbach:
Consolution as a Framework for Comparing Calculi. TABLEAUX 1992: 11-14 - Oliver Bittel:
The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). TABLEAUX 1992: 15-18 - Toni Bollinger:
A Model Elimination Calculus for Generalized Clauses. TABLEAUX 1992: 19-22 - Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt:
Towards Tableau Theorem-Proving with Analytic Cut. TABLEAUX 1992: 23-25 - Roderic A. Girle:
Possible Worlds Tableaux without Explicit Accessibility. TABLEAUX 1992: 27-28 - Mark Grundy:
Toward an Efficient Tableau Metaprover (Extended Abstract). TABLEAUX 1992: 29-31 - Reiner Hähnle:
Analytic Tableau and Integer Programming (Extended Abstract). TABLEAUX 1992: 33-35 - Robert Johnson, Steve Reeves:
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). TABLEAUX 1992: 37-39 - Thomas Käufl:
The Prover of the Program Verification System Tatzelwurm. TABLEAUX 1992: 40-42 - Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic:
Prover 91 - A Parallel Theorem Prover (Extended Abstract). TABLEAUX 1992: 43-45 - Jürgen Lehmann:
A Workbench for Model Elimination (Abstract). TABLEAUX 1992: 46-48 - Reinhold Letz, Klaus Mayr:
SETHEO II - The System and its Calculi. TABLEAUX 1992: 49-51 - Philippe Lamarre:
A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract). TABLEAUX 1992: 52-55 - Charles G. Morgan:
An Automated Theorem Prover for Relational Logic (Abstract). TABLEAUX 1992: 56-58 - Wilfried Neitz:
A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract). TABLEAUX 1992: 59-60 - Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic:
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). TABLEAUX 1992: 61-63 - Uwe Petermann:
Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract). TABLEAUX 1992: 64-66 - Joachim Posegga:
First-Order Shannon Graphs (Extended Abstract). TABLEAUX 1992: 67-69 - Regimantas Pliuskevicius:
The Analityc Tableaux for Linear Temporal Logic. TABLEAUX 1992: 70-72 - Anavai Ramesh, George Becker, Neil V. Murray:
On Computing Prime Implicants and Prime Implicates. TABLEAUX 1992: 73-75 - Vincent Risch, Camilla Schwind:
Tableaux-Based Theorem Proving and Non-Standard Reasoning. TABLEAUX 1992: 76-78 - Raoul Vorc'h:
Generalization and Abstraction Using Tableaux-Based Proof Systems. TABLEAUX 1992: 79-81 - Wolfgang Wernecke:
Tableau Calculus and Equational Reasoning (Extended Abstract). TABLEAUX 1992: 82-84 - Graham Wrightson:
Research into Analytic Tableaux. TABLEAUX 1992: 85-87 - Nicolas Zabel:
Deciding Fragments of the First Order Logic within an Extended Tableau Method. TABLEAUX 1992: 88-91
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 01:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: