The SCEAS System
Navigation Menu

Conferences in DBLP

Analytic Tableaux and Related Methods (TABLEAUX) (tableaux)
1992 (conf/tableaux/92)

  1. Marcello D'Agostino, Marco Mondadori
    An Improvement of Analytic Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:1-3 [Conf]
  2. Tadashi Araragi
    A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:4-6 [Conf]
  3. Peter Baumgartner
    A Model Elimination Calculus with Built-in Theories (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:7-10 [Conf]
  4. Peter Baumgartner, Ulrich Furbach
    Consolution as a Framework for Comparing Calculi. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:11-14 [Conf]
  5. Oliver Bittel
    The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:15-18 [Conf]
  6. Toni Bollinger
    A Model Elimination Calculus for Generalized Clauses. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:19-22 [Conf]
  7. Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt
    Towards Tableau Theorem-Proving with Analytic Cut. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:23-25 [Conf]
  8. Roderic A. Girle
    Possible Worlds Tableaux without Explicit Accessibility. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:27-28 [Conf]
  9. Mark Grundy
    Toward an Efficient Tableau Metaprover (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:29-31 [Conf]
  10. Reiner Hähnle
    Analytic Tableau and Integer Programming (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:33-35 [Conf]
  11. Robert Johnson, Steve Reeves
    Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:37-39 [Conf]
  12. Thomas Käufl
    The Prover of the Program Verification System Tatzelwurm. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:40-42 [Conf]
  13. Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic
    Prover 91 - A Parallel Theorem Prover (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:43-45 [Conf]
  14. Jürgen Lehmann
    A Workbench for Model Elimination (Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:46-48 [Conf]
  15. Reinhold Letz, Klaus Mayr
    SETHEO II - The System and its Calculi. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:49-51 [Conf]
  16. Philippe Lamarre
    A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:52-55 [Conf]
  17. Charles G. Morgan
    An Automated Theorem Prover for Relational Logic (Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:56-58 [Conf]
  18. Wilfried Neitz
    A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:59-60 [Conf]
  19. Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic
    A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:61-63 [Conf]
  20. Uwe Petermann
    Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:64-66 [Conf]
  21. Joachim Posegga
    First-Order Shannon Graphs (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:67-69 [Conf]
  22. Regimantas Pliuskevicius
    The Analityc Tableaux for Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:70-72 [Conf]
  23. Anavai Ramesh, George Becker, Neil V. Murray
    On Computing Prime Implicants and Prime Implicates. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:73-75 [Conf]
  24. Vincent Risch, Camilla Schwind
    Tableaux-Based Theorem Proving and Non-Standard Reasoning. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:76-78 [Conf]
  25. Raoul Vorc'h
    Generalization and Abstraction Using Tableaux-Based Proof Systems. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:79-81 [Conf]
  26. Wolfgang Wernecke
    Tableau Calculus and Equational Reasoning (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:82-84 [Conf]
  27. Graham Wrightson
    Research into Analytic Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:85-87 [Conf]
  28. Nicolas Zabel
    Deciding Fragments of the First Order Logic within an Extended Tableau Method. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:88-91 [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