default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th TABLEAUX 1997: Pont-à-Mousson, France
- Didier Galmiche:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings. Lecture Notes in Computer Science 1227, Springer 1997, ISBN 3-540-62920-3
Invited Lectures
- Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura:
MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. 1-15 - Grigori Mints:
Three Faces of Natural Deduction. 16-30
Contributed Papers
- Seiki Akama:
Tableaux for Logic Programming with Strong Negation. 31-42 - Alessandro Avellone
, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi:
Generalized Tableau Systems for Intemediate Propositional Logics. 43-61 - Matthias Baaz, Uwe Egly, Christian G. Fermüller:
Lean Induction Principles for Tableaux. 62-75 - Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl:
Tableaux for Diagnosis Applications. 76-90 - Bernhard Beckert, Rajeev Goré:
Free Variable Tableaux for Propositional Modal Logics. 91-106 - Piero A. Bonatti, Nicola Olivetti:
A Sequent Calculus for Skeptical Default Logic. 107-121 - Domenico Cantone:
A Fast Saturation Strategy for Set-Theoretic Tableaux. 122-137 - Serenella Cerrito, Marta Cialdea Mayer:
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. 138-152 - Li Dafa:
Automated Natural Deduction Prover and Experiments. 153-157 - Uwe Egly:
Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi. 158-172 - Reiner Hähnle, Christian Pape:
Ordered Tableaux: Extensions and Applications. 173-187 - Jacob M. Howe:
Two Loop Detection Mechanisms: A Comparision. 188-200 - Ortrun Ibens, Reinhold Letz:
Subgoal Alternation in Model Elimination. 201-215 - Gwen Kerdiles:
Projection: A Unification Procedure for Tableaux in Conceptual Graphs. 216-230 - Ján Komara, Paul J. Voda:
On Quasitautologies. 231-245 - Fabio Massacci:
Tableaux Methods for Access Control in Distributed Systems. 246-260 - Wolfgang May:
Proving Correctness of Labled Transition Systems by Semantic Tableaux. 261-275 - Richard Mayr:
Tableau Methods for PA-Processes. 276-290 - Peter Niebert, Barbara Sprick:
A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. 291-306 - Jens Otten:
ileanTAP: An Intuitionistic Theorem Prover. 307-312 - Nicolas Peltier:
Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models. 313-327 - Benjamin Shults:
A Framework for Using Knowledge in Tableau Proofs. 328-342 - Umberto Straccia:
A Sequent Calculus for Reasoning in Four-Valued Description Logics. 343-357 - Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode:
Tableaux for Functional Dependencies and Independencies. 358-372
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 2025-01-09 12: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:
