TABLEAUX (Workshops, Tutorials, and Short Papers)

Keyphrases

Publications

2011

Andrew Matusiewicz
A Dynamic Programming Algorithm for Prime Implicates. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Alwen Tiu
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Christian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen
Incremental Variable Splitting. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Michel Parigot
A Symmetric Natural Deduction. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Tom Gundersen, Michel Parigot
A Tentative Atomic Calculus for Natural Deduction. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Lutz Straßburger
Some Remarks on Nested Sequent Systems for Modal Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Yury Savateev
Sequent Calculus for Justifications. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Lutz Straßburger
Introduction to Proof Nets. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Martin Lange
Tableaux(-like) Methods for the Satisfiability Problems of Temporal Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Felix Klaedtke
Monitoring First-order Temporal Properties. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Melvin Fitting
Nested Sequents and Prefixed Tableaus. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Jesse Alama, Aleks Knoks, Sara L. Uckelman
Dialogue Games for Classical Logic. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Norbert Gratzl
Definite and Indefinite Descriptions. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Christophe Ringeissen, Valerio Senni
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Remo Goetschi
Constructive Realization in Justification Logics via Nested Sequents. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Serdar Erbatur, Christopher Lynch, Paliath Narendran
Unification in a Theory of Blind Signatures. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
QMaxSAT version 0.3 & 0.4. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Thomas Raths, Jens Otten
Implementing and Evaluating Theorem Provers for First-Order Modal Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Vincent Aravantinos, Nicolas Peltier
Generating Schemata of Resolution Proofs. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)