Publications

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 11 to 16 of 16.

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?

Universität Kaiserslautern, SEKI Reports, Vol. SR-87-08, 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; Alexander Herold; Manfred Schmidt-Schauß

On Equational Theories

Universität Kaiserslautern, SEKI Reports, Vol. SR-87-20, 1987.
Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)

Deduktionssysteme. Automatisierung des logischen Denkens

Oldenbourg-Verlag, 1987.
Dieter Hutter

Vollständige Induktion

In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 153-172, Oldenbourg Verlag, 1987.