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

• 1993
• 
  Evelina Lamma, Paola Mello:
  Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings. Lecture Notes in Computer Science 660, Springer 1993, ISBN 3-540-56454-3 [contents]
• 1992
• 
  Hassan Aït-Kaci, Andreas Podelski:
  Logic Programming with Functions over Order-Sorted Feature Terms. ELP 1992: 100-119
• 
  Martin Aronsson:
  Implementational Issues in GCLA: A-Sufficiency and Definiens Operation. ELP 1992: 394-417
• 
  Elisa Bertino, Maurizio Martelli, Danilo Montesi:
  CLP(AD) as a Deductive Database Language with Updates. ELP 1992: 80-99
• 
  Harold Boley:
  A Direct Semantic Characterization of RELFUN. ELP 1992: 120-149
• 
  Antonio Brogi, Franco Turini:
  Metalogic for State Oriented Programming. ELP 1992: 187-204
• 
  Michele Bugliesi:
  On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction. ELP 1992: 205-215
• 
  Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini:
  Techniques for Implementing Contexts in Logic Programming. ELP 1992: 339-358
• 
  Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi:
  Embedding Finite Sets in a Logic Programming Language. ELP 1992: 150-167
• 
  Phan Minh Dung:
  Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. ELP 1992: 45-58
• 
  Laura Giordano, Alberto Martelli:
  A Modal Framework for Structured Logic Programs. ELP 1992: 168-186
• 
  Seppo Keronen:
  Natural Deduction Proof Theory for Logic Programming. ELP 1992: 265-281
• 
  Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson:
  Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. ELP 1992: 359-393
• 
  Micha Meier, Joachim Schimpf:
  An Architecture for Prolog Extensions. ELP 1992: 319-338
• 
  Dale Miller:
  The pi-Calculus as a Theory in Linear Logic: Preliminary Results. ELP 1992: 242-264
• 
  Luís Moniz Pereira, Luís Caires, José Júlio Alferes:
  SLWV - A Theorem Prover for Logic Programming. ELP 1992: 1-23
• 
  António Porto, Paulo Rosado:
  The AbstrAct Scheme for Concurrent Programming. ELP 1992: 216-241
• 
  María José Ramírez, Moreno Falaschi:
  Conditional Narrowing with Constructive Negation. ELP 1992: 59-79
• 
  Uday S. Reddy:
  A Typed Foundation for Directional Logic Programming. ELP 1992: 282-318
• 
  Ken Satoh, Noboru Iwayama:
  A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. ELP 1992: 24-44