default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTABLEAUX 2011 Workshops, Tutorials, and Short Papers: Bern, Switzerland
- Martin Giese, Roman Kuznets:
TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011. University of Bern, Technical Report IAM-11-002, 2011
Part I: FTP 2011 - International Workshop on First-Order Theorem Proving
- Felix Klaedtke:
Monitoring First-order Temporal Properties. 6 - Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa:
QMaxSAT version 0.3 & 0.4. 7-15 - Vincent Aravantinos, Nicolas Peltier:
Generating Schemata of Resolution Proofs. 16-30 - Serdar Erbatur, Christopher Lynch, Paliath Narendran:
Unification in a Theory of Blind Signatures. 31-44 - Christian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen:
Incremental Variable Splitting. 45-46 - Thomas Raths, Jens Otten:
Implementing and Evaluating Theorem Provers for First-Order Modal Logics. 47-63 - Christophe Ringeissen, Valerio Senni:
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. 64-65
Part II: Gentzen Systems and Beyond 2011, International Workshop
- Melvin Fitting:
Nested Sequents and Prefixed Tableaus. 69 - Remo Goetschi:
Constructive Realization in Justification Logics via Nested Sequents. 70 - Norbert Gratzl:
Definite and Indefinite Descriptions. 71 - Tom Gundersen, Michel Parigot:
A Tentative Atomic Calculus for Natural Deduction. 72 - Michel Parigot:
A Symmetric Natural Deduction. 73 - Yury Savateev:
Sequent Calculus for Justifications. 74 - Lutz Straßburger:
Some Remarks on Nested Sequent Systems for Modal Logics. 75 - Alwen Tiu:
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. 76
Part III: Tutorials
- Martin Lange:
Tableaux(-like) Methods for the Satisfiability Problems of Temporal Logics. 78 - Lutz Straßburger:
Introduction to Proof Nets. 79
Part IV: Short Papers
- Jesse Alama, Aleks Knoks, Sara L. Uckelman:
Dialogue Games for Classical Logic. 82-86 - Andrew Matusiewicz:
A Dynamic Programming Algorithm for Prime Implicates. 87-91
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.
last updated on 2025-12-04 22:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
