The SCEAS System
Navigation Menu

Conferences in DBLP

Analytic Tableaux and Related Methods (TABLEAUX) (tableaux)
1998 (conf/tableaux/1998)

  1. N. G. de Bruijn
    Philosophical Aspects of Computerized Verification of Mathematics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:1-9 [Conf]
  2. Alan Bundy
    A Science of Reasoning (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:10-17 [Conf]
  3. Edmund M. Clarke, Sergey Berezin
    Model Checking: Historical Perspective and Example (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:18-24 [Conf]
  4. 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]
  5. Ian Horrocks, Peter F. Patel-Schneider
    FaCT and DLP. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:27-30 [Conf]
  6. Michel Levy
    Prover KT4. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:31-32 [Conf]
  7. Bernhard Beckert, Rajeev Goré
    leanK 2.0. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:33-34 [Conf]
  8. Peter Balsiger, Alain Heuerding, Stefan Schwendimann
    Logics Workbench 1.0. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:35-37 [Conf]
  9. Jeremy V. Pitt
    Benchmark Evaluation of Square-KE. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:38-39 [Conf]
  10. G. L. J. M. Janssen
    Implementation of Propositional Temporal Logics Using BDDs. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:40-41 [Conf]
  11. 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]
  12. 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]
  13. Peter Baumgartner
    Hyper Tableau - The Next Generation. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:60-76 [Conf]
  14. Bernhard Beckert, Dov M. Gabbay
    Fibring Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:77-92 [Conf]
  15. Bernhard Beckert, Ulrike Hartmer
    A Tableau Calculus for Quantifier-Free Set Theoretic Formulae. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:93-107 [Conf]
  16. Howard Bowman, Simon Thompson
    A Tableau Method for Interval Temporal Logic with Projection. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:108-123 [Conf]
  17. 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]
  18. Uwe Egly, Hans Tompits
    On Proof Complexity of Circumscription. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:141-155 [Conf]
  19. 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]
  20. 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]
  21. Ullrich Hustadt, Renate A. Schmidt
    Simplification and Backjumping in Modal Tableau. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:187-201 [Conf]
  22. 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]
  23. Fabio Massacci
    Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:217-231 [Conf]
  24. Christof Monz, Maarten de Rijke
    A Tableaux Calculus for Ambiguous Quantification. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:232-246 [Conf]
  25. Sara Negri, Jan von Plato
    From Kripke Models to Algebraic Counter-Valuations. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:247-261 [Conf]
  26. Stephan Schmitt, Christoph Kreitz
    Deleting Redundancy in Proof Reconstruction. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:262-276 [Conf]
  27. Stefan Schwendimann
    A New One-Pass Tableau Calculus for PLTL. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:277-292 [Conf]
  28. Klaus Weich
    Decision Procedures for Intuitionistic Propositional Logic by Program Extraction. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:292-306 [Conf]
  29. Ian Horrocks
    The FaCT System. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:307-312 [Conf]
  30. Christian Urban
    Implementation of Proof Search in the Imperative Programming Language Pizza. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:313-319 [Conf]
  31. Andreas Wolf
    p-SETHEO: Strategy Parallelism in Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:320-324 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002