20. TABLEAUX 2011:
Bern,
Switzerland
Kai Brünnler, George Metcalfe (Eds.):
Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings.
Lecture Notes in Computer Science 6793 Springer 2011, ISBN 978-3-642-22118-7 
- Maria Paola Bonacina, Moa Johansson:
On Interpolation in Decision Procedures.
1-16
- Ulrich Furbach:
First-Order Tableaux in Applications (Extended Abstract).
17-19
- Kazushige Terui:
Proof Theory and Algebra in Substructural Logics.
20
- Régis Alenda, Nicola Olivetti:
CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces.
21-26
- Vincent Aravantinos, Nicolas Peltier:
Schemata of SMT-Problems.
27-42
- Arnon Avron, Ori Lahav:
Kripke Semantics for Basic Sequent Systems.
43-57
- Laura Bozzelli, Ruggero Lanotte:
Hybrid and First-Order Complete Extensions of CaRet.
58-72
- Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
73-87
- James Brotherston, Rajeev Goré:
Craig Interpolation in Displayable Logics.
88-103
- Serenella Cerrito, Marta Cialdea Mayer:
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders.
104-118
- Agata Ciabattoni, Ori Lahav, Anna Zamansky:
Basic Constructive Connectives, Determinism and Matrix-Based Semantics.
119-133
- Anupam Das:
On the Proof Complexity of Cut-Free Bounded Deep Inference.
134-148
- Oliver Friedmann, Martin Lange:
The Modal μ-Calculus Caught Off Guard.
149-163
- Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A Conditional Constructive Logic for Access Control and Its Sequent Calculus.
164-179
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot.
180-195
- Mark Kaminski, Thomas Schneider, Gert Smolka:
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics.
196-210
- Björn Lellmann, Dirk Pattinson:
Cut Elimination for Shallow Modal Logics.
211-225
- Jens Otten:
A Non-clausal Connection Calculus.
226-241
- Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi:
METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine.
242-247
- Alwen Tiu:
A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains.
248-262
- Josef Urban, Jirí Vyskocil, Petr Stepánek:
MaLeCoP Machine Learning Connection Prover.
263-277
Last update Fri May 25 08:42:43 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
