Conferences in DBLP
N. G. de Bruijn Philosophical Aspects of Computerized Verification of Mathematics. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:1-9 [Conf ] Alan Bundy A Science of Reasoning (Extended Abstract). [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:10-17 [Conf ] Edmund M. Clarke , Sergey Berezin Model Checking: Historical Perspective and Example (Extended Abstract). [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:18-24 [Conf ] Peter Balsiger , Alain Heuerding Comparison of Theorem Provers for Modal Logics - Introduction and Summary. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:25-26 [Conf ] Ian Horrocks , Peter F. Patel-Schneider FaCT and DLP. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:27-30 [Conf ] Michel Levy Prover KT4. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:31-32 [Conf ] Bernhard Beckert , Rajeev Goré leanK 2.0. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:33-34 [Conf ] Peter Balsiger , Alain Heuerding , Stefan Schwendimann Logics Workbench 1.0. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:35-37 [Conf ] Jeremy V. Pitt Benchmark Evaluation of Square-KE. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:38-39 [Conf ] G. L. J. M. Janssen Implementation of Propositional Temporal Logics Using BDDs. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:40-41 [Conf ] Ján Komara , Paul J. Voda Computer Programming as Mathematics in a Programming Language and Proof System CL. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:42-43 [Conf ] Matteo Baldoni , Laura Giordano , Alberto Martelli A Tableau for Multimodal Logics and Some (Un)Decidability Results. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:44-59 [Conf ] Peter Baumgartner Hyper Tableau - The Next Generation. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:60-76 [Conf ] Bernhard Beckert , Dov M. Gabbay Fibring Semantic Tableaux. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:77-92 [Conf ] Bernhard Beckert , Ulrike Hartmer A Tableau Calculus for Quantifier-Free Set Theoretic Formulae. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:93-107 [Conf ] Howard Bowman , Simon Thompson A Tableau Method for Interval Temporal Logic with Projection. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:108-123 [Conf ] Serenella Cerrito , Marta Cialdea Mayer Bounded Model Search in Linear Temporal Logic and Its Application to Planning. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:124-140 [Conf ] Uwe Egly , Hans Tompits On Proof Complexity of Circumscription. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:141-155 [Conf ] Christian G. Fermüller , Herbert Langsteiner Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:156-171 [Conf ] Reiner Hähnle , Neil V. Murray , Erik Rosenthal Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:173-186 [Conf ] Ullrich Hustadt , Renate A. Schmidt Simplification and Backjumping in Modal Tableau. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:187-201 [Conf ] Pedro J. Martín , Antonio Gavilanes , Javier Leach Free Variable Tableaux for a Logic with Term Declarations. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:202-216 [Conf ] Fabio Massacci Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:217-231 [Conf ] Christof Monz , Maarten de Rijke A Tableaux Calculus for Ambiguous Quantification. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:232-246 [Conf ] Sara Negri , Jan von Plato From Kripke Models to Algebraic Counter-Valuations. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:247-261 [Conf ] Stephan Schmitt , Christoph Kreitz Deleting Redundancy in Proof Reconstruction. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:262-276 [Conf ] Stefan Schwendimann A New One-Pass Tableau Calculus for PLTL. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:277-292 [Conf ] Klaus Weich Decision Procedures for Intuitionistic Propositional Logic by Program Extraction. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:292-306 [Conf ] Ian Horrocks The FaCT System. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:307-312 [Conf ] Christian Urban Implementation of Proof Search in the Imperative Programming Language Pizza. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:313-319 [Conf ] Andreas Wolf p-SETHEO: Strategy Parallelism in Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:320-324 [Conf ]