Abstract is missing.
- Philosophical Aspects of Computerized Verification of MathematicsN. G. de Bruijn. 1-9 [doi]
- A Science of Reasoning (Extended Abstract)Alan Bundy. 10-17 [doi]
- Model Checking: Historical Perspective and Example (Extended Abstract)Edmund M. Clarke, Sergey Berezin. 18-24 [doi]
- Comparison of Theorem Provers for Modal Logics - Introduction and SummaryPeter Balsiger, Alain Heuerding. 25-26 [doi]
- FaCT and DLPIan Horrocks, Peter F. Patel-Schneider. 27-30 [doi]
- Prover KT4Michel Levy. 31-32 [doi]
- leanK 2.0Bernhard Beckert, Rajeev Goré. 33-34 [doi]
- Logics Workbench 1.0Peter Balsiger, Alain Heuerding, Stefan Schwendimann. 35-37 [doi]
- Benchmark Evaluation of Square-KEJeremy V. Pitt. 38-39 [doi]
- Implementation of Propositional Temporal Logics Using BDDsG. L. J. M. Janssen. 40-41 [doi]
- Computer Programming as Mathematics in a Programming Language and Proof System CLJán Komara, Paul J. Voda. 42-43 [doi]
- A Tableau for Multimodal Logics and Some (Un)Decidability ResultsMatteo Baldoni, Laura Giordano, Alberto Martelli. 44-59 [doi]
- Hyper Tableau - The Next GenerationPeter Baumgartner. 60-76 [doi]
- Fibring Semantic TableauxBernhard Beckert, Dov M. Gabbay. 77-92 [doi]
- A Tableau Calculus for Quantifier-Free Set Theoretic FormulaeBernhard Beckert, Ulrike Hartmer. 93-107 [doi]
- A Tableau Method for Interval Temporal Logic with ProjectionHoward Bowman, Simon J. Thompson. 108-123 [doi]
- Bounded Model Search in Linear Temporal Logic and Its Application to PlanningSerenella Cerrito, Marta Cialdea Mayer. 124-140 [doi]
- On Proof Complexity of CircumscriptionUwe Egly, Hans Tompits. 141-155 [doi]
- Tableaux for Finite-Valued Logics with Arbitrary Distribution ModalitiesChristian G. Fermüller, Herbert Langsteiner. 156-171 [doi]
- Some Remarks on Completeness, Connection Graph Resolution and Link DeletionReiner Hähnle, Neil V. Murray, Erik Rosenthal. 173-186 [doi]
- Simplification and Backjumping in Modal TableauUllrich Hustadt, Renate A. Schmidt. 187-201 [doi]
- Free Variable Tableaux for a Logic with Term DeclarationsPedro J. Martín, Antonio Gavilanes, Javier Leach. 202-216 [doi]
- Simplification: A General Constraint Propagation Technique for Propositional and Modal TableauxFabio Massacci. 217-231 [doi]
- A Tableaux Calculus for Ambiguous QuantificationChristof Monz, Maarten de Rijke. 232-246 [doi]
- From Kripke Models to Algebraic Counter-ValuationsSara Negri, Jan von Plato. 247-261 [doi]
- Deleting Redundancy in Proof ReconstructionStephan Schmitt, Christoph Kreitz. 262-276 [doi]
- A New One-Pass Tableau Calculus for PLTLStefan Schwendimann. 277-292 [doi]
- Decision Procedures for Intuitionistic Propositional Logic by Program ExtractionKlaus Weich. 292-306 [doi]
- The FaCT SystemIan Horrocks. 307-312 [doi]
- Implementation of Proof Search in the Imperative Programming Language PizzaChristian Urban. 313-319 [doi]
- p-SETHEO: Strategy Parallelism in Automated Theorem ProvingAndreas Wolf. 320-324 [doi]