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

• 2009
• 
  Jasmin Christian Blanchette:
  Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm. J. Autom. Reason. 43(1): 1-18 (2009)
• 
  Sandrine Blazy, Xavier Leroy:
  Mechanized Semantics for the Clight Subset of the C Language. J. Autom. Reason. 43(3): 263-288 (2009)
• 
  Richard J. Boulton, Joe Hurd, Konrad Slind:
  Computer Assisted Reasoning. J. Autom. Reason. 43(3): 237-242 (2009)
• 
  Giorgio Dalzotto, Tomás Recio:
  On Protocols for the Automated Discovery of Theorems in Elementary Geometry. J. Autom. Reason. 43(2): 203-236 (2009)
• 
  Jean-François Dufourd:
  An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps. J. Autom. Reason. 43(1): 19-51 (2009)
• 
  Ruben A. Gamboa:
  A Formalization of Powerlist Algebra in ACL2. J. Autom. Reason. 43(2): 139-172 (2009)
• 
  John Harrison:
  Formalizing an Analytic Proof of the Prime Number Theorem. J. Autom. Reason. 43(3): 243-261 (2009)
• 
  Xavier Leroy:
  A Formally Verified Compiler Back-end. J. Autom. Reason. 43(4): 363-446 (2009)
• 
  Filip Maric:
  Formalization and Implementation of Modern SAT Solvers. J. Autom. Reason. 43(1): 81-119 (2009)
• 
  Raúl Monroy, Alan Bundy, Ian Green:
  On Process Equivalence = Equation Solving in CCS. J. Autom. Reason. 43(1): 53-80 (2009)
• 
  Tobias Nipkow:
  Social Choice Theory in HOL. J. Autom. Reason. 43(3): 289-304 (2009)
• 
  Michael Norrish:
  Rewriting Conversions Implemented with Continuations. J. Autom. Reason. 43(3): 305-336 (2009)
• 
  K. Subramani:
  Optimal Length Resolution Refutations of Difference Constraint Systems. J. Autom. Reason. 43(2): 121-137 (2009)
• 
  Geoff Sutcliffe:
  The TPTP Problem Library and Associated Infrastructure. J. Autom. Reason. 43(4): 337-362 (2009)
• 
  Harald Zankl, Nao Hirokawa, Aart Middeldorp:
  KBO Orientability. J. Autom. Reason. 43(2): 173-201 (2009)