Skip to main content Skip to main navigation

Publications

 

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

Displaying results 11 to 16 of 16.
  1. Hans-Jürgen Bürckert

    Lazy E-Unification - A Method to Delay Alternative Solutions

    Université de Nancy, Rapport Interne, Vol. 87 R 34, 1987.

  2. 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 …

  3. Hans-Jürgen Bürckert

    Solving Disequation in Equational Theories

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

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

    On Equational Theories

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

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

    Deduktionssysteme. Automatisierung des logischen Denkens

    Oldenbourg-Verlag, 1987.

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