![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
12th TABLEAUX 2003: Rome, Italy
- Marta Cialdea Mayer, Fiora Pirri:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings. Lecture Notes in Computer Science 2796, Springer 2003, ISBN 3-540-40787-1
Short Abstracts of Invitd Lectures
- V. Michele Abrusci:
Non Commutative Logic: A Survey. 1 - Thierry Coquand:
Dynamical Method in Algebra: A Survey. 2 - Johann Schumann:
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. 3
Research Papers
- Arnon Avron:
Tableaux with Four Signs as a Unified Framework. 4-16 - Olivier Brunet:
A Labelled Sequent-Calculus for Observation Logic. 17-31 - Agata Ciabattoni
, George Metcalfe
:
Bounded Lukasiewicz Logics. 32-47 - Christian G. Fermüller:
Parallel Dialogue Games and Hypersequents for Intermediate Logics. 48-64 - Martin Giese:
Simplification Rules for Constrained Formula Tableaux. 65-80 - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics. 81-101 - Valentin Goranko, Angelo Montanari, Guido Sciavicco:
A General Tableau Method for Propositional Interval Temporal Logics. 102-116 - Reinhold Letz, Gernot Stenz:
Universal Variables in Disconnection Tableaux. 117-133 - Carsten Lutz, Frank Wolter
, Michael Zakharyaschev
:
A Tableau Algorithm for Reasoning about Concepts and Similarity. 134-149 - Maarten Marx:
XPath and Modal Logics of Finite DAG's. 150-164 - Neil V. Murray, Erik Rosenthal:
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. 165-180 - Nicolas Peltier:
A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models. 181-195 - Miroslav N. Velev
:
Automatic Abstraction of Equations in a Logic of Equality. 196-213 - Arild Waaler, Roger Antonsen:
A Free Variable Sequent Calculus with Uniform Variable Splitting. 214-229
System Description
- Pietro Abate, Rajeev Goré:
The Tableaux Work Bench. 230-236 - Frank M. Brown:
Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. 237-245 - Frank M. Brown:
Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. 246-251 - Reiner Hähnle
, Niklas Sörensson:
Fair Constraint Merging Tableaux in Lazy Functional Programming Style. 252-256 - Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
:
SOLAR: A Consequence Finding System for Advanced Reasoning. 257-263 - Nicola Olivetti, Gian Luca Pozzato:
CondLean: A Theorem Prover for Conditional Logics. 264-270
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.