• 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

• 2012
• 
  Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch:
  Unification Modulo Homomorphic Encryption. J. Autom. Reason. 48(2): 135-158 (2012)
• 
  Belaid Benhamou, Lionel Paris, Pierre Siegel:
  Dealing with Satisfiability and n-ary CSPs in a Logical Framework. J. Autom. Reason. 48(3): 391-417 (2012)
• 
  Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
  SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. J. Autom. Reason. 48(1): 107-131 (2012)
• 
  Yannick Chevalier, Michaël Rusinowitch:
  Decidability of Equivalence of Symbolic Derivations. J. Autom. Reason. 48(2): 263-292 (2012)
• 
  Stefan Ciobaca, Stéphanie Delaune, Steve Kremer:
  Computing Knowledge in Security Protocols Under Convergent Equational Theories. J. Autom. Reason. 48(2): 219-262 (2012)
• 
  Hubert Comon-Lundh, Catherine Meadows:
  Special Issue on Security and Rewriting Foreword. J. Autom. Reason. 48(2): 133-134 (2012)
• 
  Véronique Cortier, Stéphanie Delaune:
  Decidability and Combination Results for Two Notions of Knowledge in Security Protocols. J. Autom. Reason. 48(4): 441-487 (2012)
• 
  Mnacho Echenim, Nicolas Peltier:
  An Instantiation Scheme for Satisfiability Modulo Theories. J. Autom. Reason. 48(3): 293-362 (2012)
• 
  Amy P. Felty, Alberto Momigliano:
  Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. J. Autom. Reason. 48(1): 43-105 (2012)
• 
  Joshua D. Guttman:
  State and Progress in Strand Spaces: Proving Fair Exchange. J. Autom. Reason. 48(2): 159-195 (2012)
• 
  Predrag Janicic, Julien Narboux, Pedro Quaresma:
  The Area Method - A Recapitulation. J. Autom. Reason. 48(4): 489-532 (2012)
• 
  Steve Kremer, Antoine Mercier, Ralf Treinen:
  Reducing Equational Theories for the Decision of Static Equivalence. J. Autom. Reason. 48(2): 197-217 (2012)
• 
  Jan Otop:
  E-unification with Constants vs. General E-unification. J. Autom. Reason. 48(3): 363-390 (2012)
• 
  Freek Verbeek, Julien Schmaltz:
  Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks. J. Autom. Reason. 48(4): 419-439 (2012)
• 
  Daniele Zucchelli, Enrica Nicolini:
  A Decidability Result for the Model Checking of Infinite-State Systems. J. Autom. Reason. 48(1): 1-42 (2012)