Conferences in DBLP
V. Michele Abrusci Non Commutative Logic: A Survey. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:1- [Conf ] Thierry Coquand Dynamical Method in Algebra: A Survey. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:2- [Conf ] Johann Schumann Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:3- [Conf ] Arnon Avron Tableaux with Four Signs as a Unified Framework. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:4-16 [Conf ] Olivier Brunet A Labelled Sequent-Calculus for Observation Logic. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:17-31 [Conf ] Agata Ciabattoni , George Metcalfe Bounded Lukasiewicz Logics. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:32-47 [Conf ] Christian G. Fermüller Parallel Dialogue Games and Hypersequents for Intermediate Logics. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:48-64 [Conf ] Martin Giese Simplification Rules for Constrained Formula Tableaux. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:65-80 [Conf ] 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 ] 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 ] Reinhold Letz , Gernot Stenz Universal Variables in Disconnection Tableaux. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:117-133 [Conf ] 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 ] Maarten Marx XPath and Modal Logics of Finite DAG's. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:150-164 [Conf ] 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 ] 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 ] Miroslav N. Velev Automatic Abstraction of Equations in a Logic of Equality. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:196-213 [Conf ] Arild Waaler , Roger Antonsen A Free Variable Sequent Calculus with Uniform Variable Splitting. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:214-229 [Conf ] Pietro Abate , Rajeev Goré The Tableaux Work Bench. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:230-236 [Conf ] 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 ] Frank M. Brown Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:246-251 [Conf ] 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 ] 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 ] Nicola Olivetti , Gian Luca Pozzato CondLean: A Theorem Prover for Conditional Logics. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:264-270 [Conf ]