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

• 1993
• 
  Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein:
  Order-Sorted Feature Theory Unification. ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Hassan Aït-Kaci, Andreas Podelski, Peter Van Roy:
  An Informal Introduction to LIFE. ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott:
  Independence in Constraint Logic Programs. ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Björn Carlson, Sverker Janson, Johan Montelius:
  Aspects of Constraint Solving for AKL (Extended Abstract). ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Philippe Codognet, Daniel Diaz:
  Boolean Constraint Solving Using clp(FD). ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Sverker Janson, Johan Montelius, Seif Haridi:
  A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract). ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Torbjörn Keisu:
  Herbrand Constraints (Extended Abstract). ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo:
  Contextual Nets and Constraint Logic Programming. ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Remco Moolenaar, Bart Demoen:
  Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language. ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Andreas Podelski, Peter Van Roy:
  The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally. ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Dan Sahlin, Thomas Sjöland:
  Towards Abstract Interpretation of AKL. ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Gert Smolka:
  A Survey of Oz - A Higher-order Concurrent Constraint Language. ICLP Workshop on Concurrent Constraint Programming 1993
• 
  Christian Schulte, Gert Smolka:
  Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993. 1993 [contents]