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

• 1998
• 
  Eric W. van Ammers:
  Program Families: Program Construction by Context Independent Refinements. Sci. Comput. Program. 30(3): 251-286 (1998)
• 
  Roberto Bagnara:
  A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages. Sci. Comput. Program. 30(1-2): 119-155 (1998)
• 
  Uwe M. Borghoff, Remo Pareschi, Francesca Arcelli Fontana, Ferrante Formato:
  Constraint-Based Protocols for Distributed Problem Solving. Sci. Comput. Program. 30(1-2): 201-225 (1998)
• 
  Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi:
  Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Sci. Comput. Program. 30(1-2): 51-82 (1998)
• 
  Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock:
  GOFFIN: Higher-Order Functions Meet Concurrent Constraints. Sci. Comput. Program. 30(1-2): 157-199 (1998)
• 
  Philippe Codognet:
  Foreword: Concurrent Constraint Programming. Sci. Comput. Program. 30(1-2): 1-2 (1998)
• 
  Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
  State Space Reduction by Non-Standard Semantics for Deadlock Analysis. Sci. Comput. Program. 30(3): 309-338 (1998)
• 
  Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
  Computing with Continuous Change. Sci. Comput. Program. 30(1-2): 3-49 (1998)
• 
  Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou:
  Newton - Constraint Programming over Nonlinear Constraints. Sci. Comput. Program. 30(1-2): 83-118 (1998)
• 
  Mark Moir:
  Fast, Long-Lived Renaming Improved and Simplified. Sci. Comput. Program. 30(3): 287-308 (1998)
• 
  Thang Nguyen, Yves Deville:
  A Distributed Arc-Consistency Algorithm. Sci. Comput. Program. 30(1-2): 227-250 (1998)