• 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

• 2008
• 
  Andy King:
  Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4915, Springer 2008, ISBN 978-3-540-78768-6 [contents]
• 2007
• 
  Slim Abdennadher, Ingi Sobhi:
  Generation of Rule-Based Constraint Solvers: Combined Approach. LOPSTR 2007: 106-120
• 
  Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla:
  Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. LOPSTR 2007: 23-42
• 
  Annalisa Bossi, Carla Piazza, Sabina Rossi:
  Action Refinement in Process Algebra and Security Issues. LOPSTR 2007: 201-217
• 
  Bernd Braßel, Jan Christiansen:
  Denotation by Transformation. LOPSTR 2007: 90-105
• 
  Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo:
  Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR 2007: 138-153
• 
  Michael Codish:
  Proving Termination with (Boolean) Satisfaction. LOPSTR 2007: 1-7
• 
  François Degrave, Wim Vanhoof:
  Towards a Normal Form for Mercury Programs. LOPSTR 2007: 43-58
• 
  Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi:
  Snapshot Generation in a Constructive Object-Oriented Modeling Language. LOPSTR 2007: 169-184
• 
  Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal:
  Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. LOPSTR 2007: 74-89
• 
  Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo:
  A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. LOPSTR 2007: 154-168
• 
  Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye:
  Termination Analysis of Logic Programs Based on Dependency Graphs. LOPSTR 2007: 8-22
• 
  Iman Poernomo:
  Synthesis of Data Views for Communicating Processes. LOPSTR 2007: 185-200
• 
  Peter Van Weert, Jon Sneyers, Bart Demoen:
  Aggregates for CHR through Program Transformation. LOPSTR 2007: 59-73
• 
  Ye Zhang, Flemming Nielson:
  A Scalable Inclusion Constraint Solver Using Unification. LOPSTR 2007: 121-137