Conferences in DBLP

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

1. Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath
   Issues in Theorem Proving Based on the Connection Method. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1995, pp:1-16 [Conf]
   
2. Eric de Kogel
   Rigid E-Unification Simplified. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1995, pp:17-30 [Conf]
   
3. Stefan Klingenbeck
   Generating Finite Counter Examples with Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1995, pp:31-46 [Conf]
   
4. Ingrid Neumann
   Semantic Tableaus for Inheritance Nets. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1995, pp:47-62 [Conf]
   
5. Stéphane Demri
   Using Connection Method in Modal Logics: Some Advantages. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1995, pp:63-78 [Conf]
   
6. Guido Governatori
   Labelled Tableaux for Multi-Modal Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1995, pp:79-94 [Conf]
   
7. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
   Refutation Systems for Propositional Modal Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1995, pp:95-105 [Conf]
   
8. Stephan Schmitt, Christoph Kreitz
   On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1995, pp:106-121 [Conf]
   
9. Jens Otten
   A Connection Based Proof Method for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1995, pp:122-137 [Conf]
   
10. Judith L. Underwood
    Tableaux for Intuitionistic Predicate Logic as Metatheory. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:138-153 [Conf]
    
11. Ricardo Caferra, Nicolas Peltier
    Model Building and Interactive Theory Discovery. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:154-168 [Conf]
    
12. Klaus Mayr
    Link Deletion in Model Elimination. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:169-184 [Conf]
    
13. Gerd Neugebauer, Uwe Petermann
    Specifications of Inference Rules and Their Automatic Translation. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:185-200 [Conf]
    
14. Peter Baumgartner, Frieder Stolzenburg
    Constraint Model Elimination and a PTTP-Implementation. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:201-216 [Conf]
    
15. Matthias Baaz, Christian G. Fermüller
    Non-elementary Speedups between Different Versions of Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:217-230 [Conf]
    
16. Ján Komara, Paul J. Voda
    Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:231-246 [Conf]
    
17. Jörg Hudelmaier, Peter Schroeder-Heister
    Classical Lambek Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:247-262 [Conf]
    
18. Philippe de Groote
    Linear Logic with Isabelle: Pruning the Proof Search Tree. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:263-277 [Conf]
    
19. Robert K. Meyer, Michael A. McRobbie, Nuel Belnap
    Linear Analytic Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:278-293 [Conf]
    
20. Michael Kohlhase
    Higher-Order Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:294-309 [Conf]
    
21. Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried
    Propositional Logics on the Computer. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:310-323 [Conf]
    
22. Jeremy V. Pitt
    MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:324-337 [Conf]
    
23. Johann Schumann
    Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:338-352 [Conf]