• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 2011
• 
  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 [contents]
• 
  Jesse Alama, Aleks Knoks, Sara L. Uckelman:
  Dialogue Games for Classical Logic. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 82-86
• 
  Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa:
  QMaxSAT version 0.3 & 0.4. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 7-15
• 
  Vincent Aravantinos, Nicolas Peltier:
  Generating Schemata of Resolution Proofs. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 16-30
• 
  Serdar Erbatur, Christopher Lynch, Paliath Narendran:
  Unification in a Theory of Blind Signatures. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 31-44
• 
  Melvin Fitting:
  Nested Sequents and Prefixed Tableaus. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 69
• 
  Remo Goetschi:
  Constructive Realization in Justification Logics via Nested Sequents. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 70
• 
  Norbert Gratzl:
  Definite and Indefinite Descriptions. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 71
• 
  Tom Gundersen, Michel Parigot:
  A Tentative Atomic Calculus for Natural Deduction. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 72
• 
  Christian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen:
  Incremental Variable Splitting. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 45-46
• 
  Felix Klaedtke:
  Monitoring First-order Temporal Properties. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 6
• 
  Martin Lange:
  Tableaux(-like) Methods for the Satisfiability Problems of Temporal Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 78
• 
  Andrew Matusiewicz:
  A Dynamic Programming Algorithm for Prime Implicates. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 87-91
• 
  Michel Parigot:
  A Symmetric Natural Deduction. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 73
• 
  Thomas Raths, Jens Otten:
  Implementing and Evaluating Theorem Provers for First-Order Modal Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 47-63
• 
  Christophe Ringeissen, Valerio Senni:
  Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 64-65
• 
  Yury Savateev:
  Sequent Calculus for Justifications. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 74
• 
  Lutz Straßburger:
  Some Remarks on Nested Sequent Systems for Modal Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 75
• 
  Lutz Straßburger:
  Introduction to Proof Nets. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 79
• 
  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: 76