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

• 2018
• 
  Ahmed Bhayat, Giles Reger:
  Set of Support for Higher-Order Reasoning. PAAR@FLoC 2018: 2-16
• 
  Gabriel Ebner, Matthias Schlaipfer:
  Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs. PAAR@FLoC 2018: 17-33
• 
  Ullrich Hustadt, Cláudia Nalon, Clare Dixon:
  Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. PAAR@FLoC 2018: 34-48
• 
  Jens Otten:
  Proof Search Optimizations for Non-Clausal Connection Calculi. PAAR@FLoC 2018: 49-57
• 
  Michael Rawson, Giles Reger:
  Dynamic Strategy Priority: Empower the Strong and Abandon the Weak. PAAR@FLoC 2018: 58-71
• 
  Geoff Sutcliffe, Evgenii Kotelnikov:
  TFX: The TPTP Extended Typed First-Order Form. PAAR@FLoC 2018: 72-87
• 
  Jørgen Villadsen, Anders Schlichtkrull, Asta Halkjær From:
  A Verified Simple Prover for First-Order Logic. PAAR@FLoC 2018: 88-104
• 
  Boris Konev, Josef Urban, Philipp Rümmer:
  Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018. CEUR Workshop Proceedings 2162, CEUR-WS.org 2018 [contents]