• 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

• 1988
• 
  Christoph Beierle, Udo Pletat:
  Integrating Logic Programming and Equational Specification of Abstract Data Types. ALP 1988: 71-82
• 
  Jan A. Bergstra:
  ACP with Signals. ALP 1988: 11-20
• 
  Alexander Bockmayr:
  Narrowing with Built-In Theories. ALP 1988: 83-92
• 
  Wadoud Bousdira:
  A Completion Procedure for Hierarchical Conditional Rewriting Systems. ALP 1988: 93-107
• 
  Hubert Comon:
  An Effective Method for Handling Initial Algebras. ALP 1988: 108-118
• 
  Bernd I. Dahn:
  Boolean Valued Models and Incomplete Specifications. ALP 1988: 119-126
• 
  George Dayantis:
  Types, Modularisation and Abstraction in Logic Programming. ALP 1988: 127-136
• 
  Klaus Drosten:
  Translating Algebraic Specifications to Prolog Programs: A Comparative Study. ALP 1988: 137-146
• 
  Annie Foret:
  Rewrite Rule Systems for Modal Propositional Logic. ALP 1988: 147-156
• 
  Laurent Fribourg:
  Functional Extensions to Prolog: Are they Needed? ALP 1988: 21-29
• 
  Zoltán Fülöp, Sándor Vágvölgyi:
  A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata. ALP 1988: 157
• 
  Elio Giovannetti:
  Narrowing and Resolution in Logic-Functional programming Languages (Abstract). ALP 1988: 30
• 
  Hans-Joachim Goltz:
  Functional Data Term Models and Semantic Unification. ALP 1988: 158-167
• 
  Horst Hansen, Michael Löwe:
  Modular Algebraic Specifications. ALP 1988: 168-179
• 
  Dieter Hofbauer, Ralf-Detlef Kutsche:
  Proving Inductive Theorems Based on Term Rewriting Systems. ALP 1988: 180-190
• 
  Berthold Hoffmann, Detlef Plump:
  Jungle Evaluation for Efficient Term Rewriting. ALP 1988: 191-203
• 
  Heinrich Hußmann:
  Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. ALP 1988: 31-40
• 
  Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis:
  OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. ALP 1988: 41-52
• 
  Gregory Kucherov:
  A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction. ALP 1988: 204-213
• 
  Dongbo Liu, Deyi Li:
  Fuzzy Reasoning Based on F-Horn Clause Rules. ALP 1988: 214-222
• 
  Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
  BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. ALP 1988: 223-232
• 
  Ana Pasztor:
  Nonstandard Logics of Recursive Programs and Denotational Semantics. ALP 1988: 255-278
• 
  Philippe Schnoebelen:
  Refined Compilation of Pattern-Matching for Functional Languages. ALP 1988: 233-243
• 
  Gert Smolka:
  Logic Programming with Polymorphically Order-Sorted Types. ALP 1988: 53-70
• 
  Uwe Wolter:
  Narrowing in Partial Conditional Equational Theories (Abstract). ALP 1988: 244
• 
  Jia-Huai You:
  Solving Equations in an Equational Language. ALP 1988: 245-254
• 
  Jan Grabowski, Pierre Lescanne, Wolfgang Wechler:
  Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings. Lecture Notes in Computer Science 343, Springer 1988, ISBN 3-540-50667-5 [contents]