Conferences in DBLP

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

1. V. Michele Abrusci
   Non Commutative Logic: A Survey. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:1- [Conf]
   
2. Thierry Coquand
   Dynamical Method in Algebra: A Survey. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:2- [Conf]
   
3. Johann Schumann
   Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:3- [Conf]
   
4. Arnon Avron
   Tableaux with Four Signs as a Unified Framework. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:4-16 [Conf]
   
5. Olivier Brunet
   A Labelled Sequent-Calculus for Observation Logic. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:17-31 [Conf]
   
6. Agata Ciabattoni, George Metcalfe
   Bounded Lukasiewicz Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:32-47 [Conf]
   
7. Christian G. Fermüller
   Parallel Dialogue Games and Hypersequents for Intermediate Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:48-64 [Conf]
   
8. Martin Giese
   Simplification Rules for Constrained Formula Tableaux. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:65-80 [Conf]
   
9. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
   Tableau Calculi for Preference-Based Conditional Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:81-101 [Conf]
   
10. Valentin Goranko, Angelo Montanari, Guido Sciavicco
    A General Tableau Method for Propositional Interval Temporal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:102-116 [Conf]
    
11. Reinhold Letz, Gernot Stenz
    Universal Variables in Disconnection Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:117-133 [Conf]
    
12. Carsten Lutz, Frank Wolter, Michael Zakharyaschev
    A Tableau Algorithm for Reasoning about Concepts and Similarity. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:134-149 [Conf]
    
13. Maarten Marx
    XPath and Modal Logics of Finite DAG's. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:150-164 [Conf]
    
14. Neil V. Murray, Erik Rosenthal
    Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:165-180 [Conf]
    
15. Nicolas Peltier
    A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:181-195 [Conf]
    
16. Miroslav N. Velev
    Automatic Abstraction of Equations in a Logic of Equality. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:196-213 [Conf]
    
17. Arild Waaler, Roger Antonsen
    A Free Variable Sequent Calculus with Uniform Variable Splitting. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:214-229 [Conf]
    
18. Pietro Abate, Rajeev Goré
    The Tableaux Work Bench. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:230-236 [Conf]
    
19. Frank M. Brown
    Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:237-245 [Conf]
    
20. Frank M. Brown
    Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:246-251 [Conf]
    
21. Reiner Hähnle, Niklas Sörensson
    Fair Constraint Merging Tableaux in Lazy Functional Programming Style. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:252-256 [Conf]
    
22. Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
    SOLAR: A Consequence Finding System for Advanced Reasoning. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:257-263 [Conf]
    
23. Nicola Olivetti, Gian Luca Pozzato
    CondLean: A Theorem Prover for Conditional Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:264-270 [Conf]