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

• 1995
• 
  Farid Ajili, Evelyne Contejean:
  Complete Solving of Linear Diophantine Equations and Inequations without Adding Slack Variables. UNIF 1995: 1
• 
  Gilles Amiot:
  On decision problems for second order unification. UNIF 1995: 2
• 
  Francesca Arcelli, Uwe M. Borghoff, Ferrante Formato, Remo Pareschi:
  Constraint-Based Protocols for Distributed Problem Solving (Ext. Abstract). UNIF 1995: 3-5
• 
  Franz Baader, Klaus U. Schulz:
  On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. UNIF 1995: 6-8
• 
  Steffen van Bakel, Maribel Fernández:
  Normalization Properties of Typeable Term Rewriting Systems (Abstract). UNIF 1995: 9
• 
  Jason Brown, Lincoln A. Wallen:
  Representing Unification in a Logical Framework. UNIF 1995: 10-12
• 
  Hubert Comon:
  Linear diophantine equations, Presburger arithmetic and finite automata. UNIF 1995: 13
• 
  Régis Curien, Zhenyu Qian:
  Efficient Second-Order AC-Matching Algorithm. UNIF 1995: 14-16
• 
  Eric Domenjoud:
  From Elliott-Mac Mahon to an algorithm for general linear constraints on naturals. UNIF 1995: 17
• 
  Francisco J. Durán, Ernesto Pimentel:
  Objects communication by extending the unification. UNIF 1995: 18-21
• 
  Harald Ganzinger:
  Redundancy and Saturation. UNIF 1995: 27
• 
  Claus Hintermeier:
  Redundancy and Saturation. UNIF 1995: 28
• 
  Manuel J. Fernández-Iglesias, Martín Llamas, Juan Quemada:
  EXTRA: A Tool for Data Expression Transformation in an FDT Environment. UNIF 1995: 22-26
• 
  R. Juan-Arinyo, Toni Soto:
  A Rule-Constructive Geometric Constraint Solver. UNIF 1995: 29-32
• 
  Jordi Levy:
  A Decidable Second-Order Unification Problem. UNIF 1995: 33
• 
  Sébastien Limet, Pierre Réty:
  An Attempt of Integration of LSE Narrowing and Directed Narrowing. UNIF 1995: 34-37
• 
  Denis Lugiez:
  Undecidability of second-order complement problems. UNIF 1995: 38
• 
  Christopher Lynch:
  Oriented Equational Logic Programming is Complete. UNIF 1995: 39-42
• 
  Aart Middeldorp, Satoshi Okui, Tetsuo Ida:
  Lazy Narrowing: Strong Completeness and Eager Variable Elimination. UNIF 1995: 43-46
• 
  Rafael Ramírez-Meléndez:
  Precedence Constraints in Tempo. UNIF 1995: 47-51
• 
  Manfred Schmidt-Schauß:
  An Algorithm for Distributive Unification. UNIF 1995: 52
• 
  Ralf Treinen:
  Feature Trees over Arbitrary Structures. UNIF 1995: 53-57
• 
  Robert Nieuwenhuis, Albert Rubio:
  9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995. 1995 [contents]