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

• 1993
• 
  Jean-Marie Jacquet:
  Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP. Wiley 1993, ISBN 0-471-93789-4 [contents]
• 1991
• 
  Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
  An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 215-240
• 
  Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
  Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991: 241-250
• 
  Pierre Flener, Yves Deville:
  Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 67-96
• 
  Laurent Fribourg:
  Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. ICLP Workshop on Construction of Logic Programs 1991: 39-66
• 
  David R. Gilbert, Christopher J. Hogger:
  Deriving Logic Programs from Observations. ICLP Workshop on Construction of Logic Programs 1991: 113-126
• 
  Naji Habra:
  From Abstract Data Types to Logic Programs: A Transformational Approach. ICLP Workshop on Construction of Logic Programs 1991: 251-278
• 
  Jean-Marie Jacquet:
  Introduction to Logic Programming. ICLP Workshop on Construction of Logic Programs 1991: 3-36
• 
  Jean-Marie Jacquet:
  Verifying Logic Programs from Metric Semantic Characterizations. ICLP Workshop on Construction of Logic Programs 1991: 189-211
• 
  Henryk Jan Komorowski:
  On Data-type-centered, Correctness-oriented Design. ICLP Workshop on Construction of Logic Programs 1991: 97-112
• 
  Lee Naish:
  Verification of Logic Programs and Imperative Programs. ICLP Workshop on Construction of Logic Programs 1991: 143-164
• 
  Brian J. Ross:
  A Semantic Approach to Prolog Program Analysis. ICLP Workshop on Construction of Logic Programs 1991: 165-187
• 
  Leon Sterling, Marc Kirschenbaum:
  Applying Techniques to Skeletons. ICLP Workshop on Construction of Logic Programs 1991: 127-140
• 
  Paul Tarau, Michel Boyer:
  Nonstandard Answers of Elementary Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 279-300