![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
9th UNIF 1995: Sitges, Spain
- Robert Nieuwenhuis, Albert Rubio:
9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995. 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 - 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 - Harald Ganzinger:
Redundancy and Saturation. UNIF 1995: 27 - Claus Hintermeier:
Redundancy and Saturation. UNIF 1995: 28 - 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.