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

• 2013
• 
  Matthias Baaz, Ori Lahav, Anna Zamansky:
  Finite-valued Semantics for Canonical Labelled Calculi. J. Autom. Reason. 51(4): 401-430 (2013)
• 
  Clark W. Barrett:
  "Decision Procedures: An Algorithmic Point of View, " by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008. J. Autom. Reason. 51(4): 453-456 (2013)
• 
  Nikolaj S. Bjørner, Viorica Sofronie-Stokkermans:
  Preface: Special Issue of Selected Extended Papers of CADE-23. J. Autom. Reason. 51(1): 1-2 (2013)
• 
  Jasmin Christian Blanchette, Sascha Böhme, Lawrence C. Paulson:
  Extending Sledgehammer with SMT Solvers. J. Autom. Reason. 51(1): 109-128 (2013)
• 
  Chad E. Brown:
  Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems. J. Autom. Reason. 51(1): 57-77 (2013)
• 
  Serenella Cerrito, Marta Cialdea Mayer:
  A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities. J. Autom. Reason. 51(2): 197-239 (2013)
• 
  Carles Creus, Adrià Gascón, Guillem Godoy:
  Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints. J. Autom. Reason. 51(4): 371-400 (2013)
• 
  Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari:
  Non-Linear Rewrite Closure and Weak Normalization. J. Autom. Reason. 51(3): 281-324 (2013)
• 
  Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
  Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models. J. Autom. Reason. 51(2): 129-149 (2013)
• 
  Didier Galmiche, Daniel Méry:
  A Connection-based Characterization of Bi-intuitionistic Validity. J. Autom. Reason. 51(1): 3-26 (2013)
• 
  Dejan Jovanovic, Leonardo Mendonça de Moura:
  Cutting to the Chase - Solving Linear Integer Arithmetic. J. Autom. Reason. 51(1): 79-108 (2013)
• 
  Alexei Lisitsa:
  Finite Reasons for Safety - Parameterized Verification by Finite Model Finding. J. Autom. Reason. 51(4): 431-451 (2013)
• 
  Christopher Lynch, Quang-Trung Ta, Duc-Khanh Tran:
  SMELS: Satisfiability Modulo Equality with Lazy Superposition. J. Autom. Reason. 51(3): 325-356 (2013)
• 
  César A. Muñoz, Anthony Narkawicz:
  Formalization of Bernstein Polynomials and Applications to Global Optimization. J. Autom. Reason. 51(2): 151-196 (2013)
• 
  Lars Noschinski, Fabian Emmes, Jürgen Giesl:
  Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs. J. Autom. Reason. 51(1): 27-56 (2013)
• 
  Sandip Ray, Rob Sumners:
  Specification and Verification of Concurrent Programs Through Refinements. J. Autom. Reason. 51(3): 241-280 (2013)
• 
  Christian Sternagel:
  Proof Pearl - A Mechanized Proof of GHC's Mergesort. J. Autom. Reason. 51(4): 357-370 (2013)