• 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 29 matches

• 1992
• 
  Tadashi Araragi:
  A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. TABLEAUX 1992: 4-6
• 
  Peter Baumgartner:
  A Model Elimination Calculus with Built-in Theories (Extended Abstract). TABLEAUX 1992: 7-10
• 
  Peter Baumgartner, Ulrich Furbach:
  Consolution as a Framework for Comparing Calculi. TABLEAUX 1992: 11-14
• 
  Oliver Bittel:
  The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). TABLEAUX 1992: 15-18
• 
  Toni Bollinger:
  A Model Elimination Calculus for Generalized Clauses. TABLEAUX 1992: 19-22
• 
  Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt:
  Towards Tableau Theorem-Proving with Analytic Cut. TABLEAUX 1992: 23-25
• 
  Marcello D'Agostino, Marco Mondadori:
  An Improvement of Analytic Tableaux. TABLEAUX 1992: 1-3
• 
  Roderic A. Girle:
  Possible Worlds Tableaux without Explicit Accessibility. TABLEAUX 1992: 27-28
• 
  Mark Grundy:
  Toward an Efficient Tableau Metaprover (Extended Abstract). TABLEAUX 1992: 29-31
• 
  Reiner Hähnle:
  Analytic Tableau and Integer Programming (Extended Abstract). TABLEAUX 1992: 33-35
• 
  Robert Johnson, Steve Reeves:
  Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). TABLEAUX 1992: 37-39
• 
  Thomas Käufl:
  The Prover of the Program Verification System Tatzelwurm. TABLEAUX 1992: 40-42
• 
  Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic:
  Prover 91 - A Parallel Theorem Prover (Extended Abstract). TABLEAUX 1992: 43-45
• 
  Philippe Lamarre:
  A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract). TABLEAUX 1992: 52-55
• 
  Jürgen Lehmann:
  A Workbench for Model Elimination (Abstract). TABLEAUX 1992: 46-48
• 
  Reinhold Letz, Klaus Mayr:
  SETHEO II - The System and its Calculi. TABLEAUX 1992: 49-51
• 
  Charles G. Morgan:
  An Automated Theorem Prover for Relational Logic (Abstract). TABLEAUX 1992: 56-58
• 
  Wilfried Neitz:
  A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract). TABLEAUX 1992: 59-60
• 
  Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic:
  A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). TABLEAUX 1992: 61-63
• 
  Uwe Petermann:
  Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract). TABLEAUX 1992: 64-66
• 
  Regimantas Pliuskevicius:
  The Analityc Tableaux for Linear Temporal Logic. TABLEAUX 1992: 70-72
• 
  Joachim Posegga:
  First-Order Shannon Graphs (Extended Abstract). TABLEAUX 1992: 67-69
• 
  Anavai Ramesh, George Becker, Neil V. Murray:
  On Computing Prime Implicants and Prime Implicates. TABLEAUX 1992: 73-75
• 
  Vincent Risch, Camilla Schwind:
  Tableaux-Based Theorem Proving and Non-Standard Reasoning. TABLEAUX 1992: 76-78
• 
  Raoul Vorc'h:
  Generalization and Abstraction Using Tableaux-Based Proof Systems. TABLEAUX 1992: 79-81
• 
  Wolfgang Wernecke:
  Tableau Calculus and Equational Reasoning (Extended Abstract). TABLEAUX 1992: 82-84
• 
  Graham Wrightson:
  Research into Analytic Tableaux. TABLEAUX 1992: 85-87
• 
  Nicolas Zabel:
  Deciding Fragments of the First Order Logic within an Extended Tableau Method. TABLEAUX 1992: 88-91
• 
  Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl:
  Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992. 1992 [contents]