Conferences in DBLP

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

1. Peter B. Andrews, Matthew Bishop
   On Sets, Types, Fixed Points, and Checkerboards. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1996, pp:1-15 [Conf]
   
2. Marcello D'Agostino, Dov M. Gabbay
   Fibred Tableaux for Multi-Implication Logic. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1996, pp:16-35 [Conf]
   
3. Natasha Alechina
   Interpolation for a Sequent Calculus of Generalized Quantifiers. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1996, pp:36-47 [Conf]
   
4. Alessandro Avellone, Mauro Ferrari
   Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1996, pp:48-64 [Conf]
   
5. Matthias Baaz, Christian G. Fermüller
   Combining Many-valued and Intuitionistic Tableaux. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1996, pp:65-79 [Conf]
   
6. Gérard Becher
   Cyclic Connections. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1996, pp:80-92 [Conf]
   
7. Bernhard Beckert, Christian Pape
   Incremental Theory Reasoning Methods for Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1996, pp:93-109 [Conf]
   
8. Jean-Paul Billon
   The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1996, pp:110-126 [Conf]
   
9. Piero A. Bonatti
   Sequent Calculi for Default and Autoepistemic Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1996, pp:127-142 [Conf]
   
10. François Bry, Adnan H. Yahya
    Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:143-159 [Conf]
    
11. Jeremy V. Pitt, Jim Cunningham
    Distributed Modal Theorem Proving with KE. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:160-176 [Conf]
    
12. Stéphane Demri
    A Simple Tableau System for the Logic of Elsewhere. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:177-192 [Conf]
    
13. Bertram Fronhöfer
    Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:193-209 [Conf]
    
14. Alain Heuerding, Michael Seyfried, Heinrich Zimmermann
    Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:210-225 [Conf]
    
15. Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
    Strong Normalization for All-Style LK. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:226-243 [Conf]
    
16. Jens Otten, Christoph Kreitz
    T-String Unification: Unifying Prefixes in Non-classical Proof Methods. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:244-260 [Conf]
    
17. Michael Mendler
    A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:261-277 [Conf]
    
18. Ilkka Niemelä
    A Tableau Calculus for Minimal Model Reasoning. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:278-294 [Conf]
    
19. Eike Ritter, David J. Pym, Lincoln A. Wallen
    On the Intuitionistic Force of Classical Search (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:295-311 [Conf]
    
20. Andrei Voronkov
    Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:312-329 [Conf]