Abstract is missing.
- Issues in Theorem Proving Based on the Connection MethodWolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath. 1-16
- Rigid ::::E::::-Unification SimplifiedEric de Kogel. 17-30
- Generating Finite Counter Examples with Semantic TableauxStefan Klingenbeck. 31-46
- Semantic Tableaus for Inheritance NetsIngrid Neumann. 47-62
- Using Connection Method in Modal Logics: Some AdvantagesStéphane Demri. 63-78
- Labelled Tableaux for Multi-Modal LogicsGuido Governatori. 79-94
- Refutation Systems for Propositional Modal LogicsPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. 95-105
- On Transforming Intuitionistic Matrix Proofs into Standard-Sequent ProofsStephan Schmitt, Christoph Kreitz. 106-121
- A Connection Based Proof Method for Intuitionistic LogicJens Otten. 122-137
- Tableaux for Intuitionistic Predicate Logic as MetatheoryJudith L. Underwood. 138-153
- Model Building and Interactive Theory DiscoveryRicardo Caferra, Nicolas Peltier. 154-168
- Link Deletion in Model EliminationKlaus Mayr. 169-184
- Specifications of Inference Rules and Their Automatic TranslationGerd Neugebauer, Uwe Petermann. 185-200
- Constraint Model Elimination and a PTTP-ImplementationPeter Baumgartner, Frieder Stolzenburg. 201-216
- Non-elementary Speedups between Different Versions of TableauxMatthias Baaz, Christian G. Fermüller. 217-230
- Syntactic Reduction of Predicate Tableaux to Propositional TableauxJán Komara, Paul J. Voda. 231-246
- Classical Lambek LogicJörg Hudelmaier, Peter Schroeder-Heister. 247-262
- Linear Logic with Isabelle: Pruning the Proof Search TreePhilippe de Groote. 263-277
- Linear Analytic TableauxRobert K. Meyer, Michael A. McRobbie, Nuel Belnap. 278-293
- Higher-Order TableauxMichael Kohlhase. 294-309
- Propositional Logics on the ComputerAlain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried. 310-323
- MacKE: Yet Another Proof Assistant & Automated Pedagogic ToolJeremy V. Pitt. 324-337
- Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case StudyJohann Schumann. 338-352