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

• 1993
• 
  Ulrich Bieker, Andreas Neumann:
  Using Logic Programming and Coroutining for VLSI Design. WLP 1993: 10-14
• 
  Egon Börger:
  Evolving Algebras for Specification of Logic Programming Systems. WLP 1993: 5
• 
  Christoph Brzoska:
  Temporal Logic Programming with Bounded Universal (Modality) Goals. WLP 1993: 15-17
• 
  M. Anton Ertl, Andreas Krall:
  Benutzerdefinierte Constraints. WLP 1993: 18-22
• 
  Dieter Fensel, Jürgen Angele, Rudi Studer:
  Logic Programming with KARL. WLP 1993: 23-26
• 
  Ulrich Geske, Mario Lenz:
  Generierung von Typ-Information durch abstrakte Interpretation nach einer modifizierten OLDT-Resolution. WLP 1993: 27-31
• 
  Hans-Joachim Goltz:
  Funktional-logische Programmierung mittels Methoden der constraint-logischen Programmierung. WLP 1993: 32-35
• 
  Gerhard Gröger:
  Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme. WLP 1993: 36-41
• 
  Michael Hanus:
  Lazy Unification with Inductive Simplification. WLP 1993: 42-46
• 
  Knut Hinkelmann, Thomas Labisch:
  Eine bidirektionale Maschine für die Auswertung logischer Programme. WLP 1993: 47-50
• 
  Jürgen Kalinski:
  Ein einheitlicher Rahmen für die Behandlung der Negation in logischen Programmen. WLP 1993: 51-54
• 
  Mario Lenz:
  Anwendung von CLP(R) auf Neurocomputing. WLP 1993: 55-59
• 
  Hendrik C. R. Lock:
  Residuation with Type Constraints is Complete. WLP 1993: 60-63
• 
  Stefan Lüttringhaus-Kappel:
  Coroutining and Control Generation for Logic Programs (Extended Abstract). WLP 1993: 64-68
• 
  Rainer Manthey:
  PROLOG + Datenbanken = deduktive Datenbanken? WLP 1993: 6
• 
  Klaus Mayr:
  Integrating Antilemma-Constraints into SLD-Resolution. WLP 1993: 69-72
• 
  Max Moser:
  Compilation of Equational Reasoning into Logic Programs. WLP 1993: 73-77
• 
  Andy Mück:
  A lambda-Calculus with Logical Features. WLP 1993: 78-80
• 
  Udo Pletat:
  Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten Sorten. WLP 1993: 81-84
• 
  Jörg Poswig, Marija Kulas:
  An Application of Logic Programming in Type Systems of Visual Languages. WLP 1993: 85-89
• 
  Dietmar Seipel, Hans Argenton:
  A Data Structure for Efficient Deduction in Disjunctive Logic Programs. WLP 1993: 90-94
• 
  Gert Smolka:
  Nebenläfige Objekte und Logische Programmierung. WLP 1993: 7-9
• 
  Jörg Süggel:
  Computing with Hierarchic Specifications. WLP 1993: 95-99
• 
  Michael Thielscher:
  SLDENF-Resolution. WLP 1993: 100-103
• 
  Andreas Werner, Alexander Bockmayr, Stefan Krischer:
  A Concept for the Implementation of LSE Narrowing. WLP 1993: 104-107
• 
  Jörg Würtz:
  Finite Domain Algorithms and their Verification in the Concurrent Constraint Language Oz. WLP 1993: 108-111
• 
  Christoph Beierle:
  9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universität Hagen, Germany, Informatik-Bericht 146. 1993 [contents]