Publikationen

Seite 10 von 11.

Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß
On Equational Theories
Universität Kaiserslautern, SEKI Reports, Vol. SR-87-20, 1987.
Hans-Jürgen Bürckert
Solving Disequation in Equational Theories
Universität Kaiserslautern, SEKI Reports, Vol. SR-87-15, 1987.
Hans-Jürgen Bürckert
Matching - A Special Case of Unification?
Universität Kaiserslautern, SEKI Reports, Vol. SR-87-08, 1987.
Hans-Jürgen Bürckert
Lazy E-Unification - A Method to Delay Alternative Solution (Extended Abstract)
Universität Kaiserslautern, SEKI Working Papers, Vol. SWP-87-07, 1987.
Hans-Jürgen Bürckert
Matching - A Special Case of Unification? (Abstract)
In: Claude Kirchner (Hrsg.). Summaries of Talks given at 1st Workshop on Unification. International Workshop on Unification (UNIF-87), March 18-20, …
Hans-Jürgen Bürckert
Unifikationstheorie
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 104-114, Oldenbourg-Verlag, 1987.
Hans-Jürgen Bürckert
Deduktion als Berechnung
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 134-152, Oldenbourg Verlag, 1987.
Hans-Jürgen Bürckert; Alexander Herold
Unifikation. Aktuelles Schlagwort.
In: Informatik Spektrum, Vol. 9, No. 3, Pages 186-187, Springer, 1986.
Hans-Jürgen Bürckert
Some relationship Between Unification, Restricted Unification, and Matching
In: Jörg Siekmann (Hrsg.). Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated …
Hans-Jürgen Bürckert
Lazy Theory Unification in PROLOG: An Extension of the Warren Abstract Machine
In: Claus-Rainer Rollinger; Werner Horn (Hrsg.). Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische …