Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1987
Remove all filters
Displaying results 11 to 16 of 16.

  1. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

    Universität Kaiserslautern, SEKI Reports, Vol. SR-87-08, 1987.

  2. Hans-Jürgen Bürckert

    Solving Disequation in Equational Theories

    Universität Kaiserslautern, SEKI Reports, Vol. SR-87-15, 1987.

  3. Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß

    On Equational Theories

    Universität Kaiserslautern, SEKI Reports, Vol. SR-87-20, 1987.

  4. Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß

    On Equational Theories, Unification, and Decidability

    In: Pierre Lescanne (Hrsg.). Proceedings of 2nd International Conference on Rewriting Techniques and Applications. International Conference on …

  5. Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)

    Deduktionssysteme. Automatisierung des logischen Denkens

    Oldenbourg-Verlag, 1987.

  6. 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.

Year