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

• 1997
• 
  Slim Abdennadher, Heribert Schütz:
  Model Generation with Existentially Quantified Variables and Constraints. ALP/HOA 1997: 256-272
• 
  Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas:
  Lazy Narrowing with Parametric Order Sorted Types. ALP/HOA 1997: 159-173
• 
  María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
  Safe Folding/Unfolding with Conditional Narrowing. ALP/HOA 1997: 1-15
• 
  Sergio Antoy:
  Optimal Non-deterministic Functional Logic Computations. ALP/HOA 1997: 16-30
• 
  Takahito Aoto, Yoshihito Toyama:
  On Composable Properties of Term Rewriting Systems. ALP/HOA 1997: 114-128
• 
  Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos:
  Explicit Substitutions for the Lambda-Calculus. ALP/HOA 1997: 209-223
• 
  Gilles Barthe, Femke van Raamsdonk:
  Termination of Algebraic Type Systems: The Syntactic Approach. ALP/HOA 1997: 174-193
• 
  Luís Caires, Luís Monteiro:
  Proof Net Semantics of Proof Search Computation. ALP/HOA 1997: 194-208
• 
  César Muñoz:
  A Left-Linear Variant of Lambda-Sigma. ALP/HOA 1997: 224-239
• 
  Michael Codish, Cohavit Taboch:
  A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints. ALP/HOA 1997: 31-45
• 
  Alfons Geser, Sergei Gorlatch:
  Parallelizing Functional Programs by Generalization. ALP/HOA 1997: 46-60
• 
  Zurab Khasidashvili, Mizuhito Ogawa:
  Perpetuality and Uniform Normalization. ALP/HOA 1997: 240-255
• 
  Claude Kirchner, Christophe Ringeissen:
  Higher-Order Equational Unification via Explicit Substitutions. ALP/HOA 1997: 61-75
• 
  Salvador Lucas:
  Needed Reductions with Context-Sensitive Rewriting. ALP/HOA 1997: 129-143
• 
  Nadia Nedjah, Colin D. Walter, Stephen E. Eldridge:
  Optimal Left-to-Right Pattern-Matching Automata. ALP/HOA 1997: 273-286
• 
  Enno Ohlebusch:
  Conditional Term Graph Rewriting. ALP/HOA 1997: 144-158
• 
  L. J. Steggles:
  Parameterised Higher-Order Algebraic Specifications. ALP/HOA 1997: 76-98
• 
  Taro Suzuki, Koji Nakagawa, Tetsuo Ida:
  Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. ALP/HOA 1997: 99-113
• 
  Michael Hanus, Jan Heering, Karl Meinke:
  Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997, Proceedings. Lecture Notes in Computer Science 1298, Springer 1997, ISBN 3-540-63459-2 [contents]