Skip to main content Skip to main navigation

Publications

Displaying results 13 to 16 of 16.
  1. 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.

  2. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

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

  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.