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

• 2015
• 
  Andrea Asperti:
  Reverse Complexity. J. Autom. Reason. 55(4): 373-388 (2015)
• 
  Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss:
  The Higher-Order Prover Leo-II. J. Autom. Reason. 55(4): 389-404 (2015)
• 
  Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer:
  Automated Theorem Proving in GeoGebra: Current Achievements. J. Autom. Reason. 55(1): 39-59 (2015)
• 
  Chad E. Brown:
  Reconsidering Pairs and Functions as Sets. J. Autom. Reason. 55(3): 199-210 (2015)
• 
  David R. Cok, Aaron Stump, Tjark Weber:
  The 2013 Evaluation of SMT-COMP and SMT-LIB. J. Autom. Reason. 55(1): 61-90 (2015)
• 
  Jared Davis, Magnus O. Myreen:
  The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it). J. Autom. Reason. 55(2): 117-183 (2015)
• 
  Amy P. Felty, Alberto Momigliano, Brigitte Pientka:
  The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey. J. Autom. Reason. 55(4): 307-372 (2015)
• 
  Adam Grabowski:
  Mechanizing Complemented Lattices Within Mizar Type System. J. Autom. Reason. 55(3): 211-221 (2015)
• 
  Adam Grabowski, Artur Kornilowicz, Adam Naumowicz:
  Four Decades of Mizar - Foreword. J. Autom. Reason. 55(3): 191-198 (2015)
• 
  John Harrison:
  Formal Proofs of Hypergeometric Sums - Dedicated to the memory of Andrzej Trybulec. J. Autom. Reason. 55(3): 223-243 (2015)
• 
  Cezary Kaliszyk, Josef Urban:
  MizAR 40 for Mizar 40. J. Autom. Reason. 55(3): 245-256 (2015)
• 
  Artur Kornilowicz:
  Definitional Expansions in Mizar - In memoriam of Andrzej Trybulec, a pioneer of computerized formalization. J. Autom. Reason. 55(3): 257-268 (2015)
• 
  Daniel Kühlwein, Josef Urban:
  MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers. J. Autom. Reason. 55(2): 91-116 (2015)
• 
  Krystyna Trybulec Kuperberg:
  Andrzej Trybulec - in Memoriam. J. Autom. Reason. 55(3): 187-190 (2015)
• 
  Alexander V. Lyaletski:
  Evidence Algorithm and Inference Search in First-Order Logics. J. Autom. Reason. 55(3): 269-284 (2015)
• 
  Marta Cialdea Mayer:
  Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders. J. Autom. Reason. 55(2): 185 (2015)
• 
  Adam Naumowicz:
  Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver. J. Autom. Reason. 55(3): 285-294 (2015)
• 
  Karol Pak:
  Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard. J. Autom. Reason. 55(3): 295-306 (2015)
• 
  Lawrence C. Paulson:
  A Mechanised Proof of Gödel's Incompleteness Theorems Using Nominal Isabelle. J. Autom. Reason. 55(1): 1-37 (2015)