Abstract is missing.
- Complete Solving of Linear Diophantine Equations and Inequations without Adding Slack VariablesFarid Ajili, Evelyne Contejean. 1
- On decision problems for second order unificationGilles Amiot. 2
- Constraint-Based Protocols for Distributed Problem Solving (Ext. Abstract)Francesca Arcelli, Uwe M. Borghoff, Ferrante Formato, Remo Pareschi. 3-5
- On the Combination of Symbolic Constraints, Solution Domains, and Constraint SolversFranz Baader, Klaus U. Schulz. 6-8
- Normalization Properties of Typeable Term Rewriting Systems (Abstract)Steffen van Bakel, Maribel Fernández. 9
- Representing Unification in a Logical FrameworkJason Brown, Lincoln A. Wallen. 10-12
- Linear diophantine equations, Presburger arithmetic and finite automataHubert Comon. 13
- Efficient Second-Order AC-Matching AlgorithmRégis Curien, Zhenyu Qian. 14-16
- From Elliott-Mac Mahon to an algorithm for general linear constraints on naturalsEric Domenjoud. 17
- Objects communication by extending the unificationFrancisco J. Durán, Ernesto Pimentel 0001. 18-21
- EXTRA: A Tool for Data Expression Transformation in an FDT EnvironmentManuel J. Fernández Iglesias, Martín Llamas, Juan Quemada. 22-26
- Redundancy and SaturationHarald Ganzinger. 27
- Redundancy and SaturationClaus Hintermeier. 28
- A Rule-Constructive Geometric Constraint SolverR. Juan-Arinyo, Toni Soto. 29-32
- A Decidable Second-Order Unification ProblemJordi Levy. 33
- An Attempt of Integration of LSE Narrowing and Directed NarrowingSébastien Limet, Pierre Réty. 34-37
- Undecidability of second-order complement problemsDenis Lugiez. 38
- Oriented Equational Logic Programming is CompleteChristopher Lynch. 39-42
- Lazy Narrowing: Strong Completeness and Eager Variable EliminationAart Middeldorp, Satoshi Okui, Tetsuo Ida. 43-46
- Precedence Constraints in TempoRafael Ramírez-Meléndez. 47-51
- An Algorithm for Distributive UnificationManfred Schmidt-Schauß. 52
- Feature Trees over Arbitrary StructuresRalf Treinen. 53-57