Skip to main content Skip to main navigation


Matching - A Special Case of Unification? (Abstract)

Hans-Jürgen Bürckert
In: Claude Kirchner (Hrsg.). Summaries of Talks given at 1st Workshop on Unification. International Workshop on Unification (UNIF-87), March 18-20, Val d`Ajol, France, Pages 162-169, Rapport Interne, Vol. 87 R 34, Université de Nancy, 1987.