Hans-Jürgen Bürckert; Andreas Künkler
Skriptum, Universität Kaiserslautern, Skriptum, Vol. WS 1986/87, 1987.
Hans-Jürgen Bürckert
Université de Nancy, Rapport Interne, Vol. 87 R 34, 1987.
Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß
In: Pierre Lescanne (Hrsg.). Proceedings of 2nd International Conference on Rewriting Techniques and Applications. International Conference on …
In: Claude Kirchner (Hrsg.). Summaries of Talks given at 1st Workshop on Unification. International Workshop on Unification (UNIF-87), March 18-20, …
Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
Oldenbourg-Verlag, 1987.
Dieter Hutter
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 153-172, Oldenbourg Verlag, 1987.
