Skip to main content Skip to main navigation

Publications

Displaying results 19 to 24 of 26.
  1. Hans-Jürgen Bürckert; A. Herold; M. Schmidt-Schauß

    On Equational Theories, Unification, and (Un)decidability

    In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 3-49, Elsevier, 1989.

  2. Hans-Jürgen Bürckert; A. Herold; D. Kapur; Jörg Siekmann; M.E. Stickel; M. Tepp; H. Zhang

    Opening the AC-Unification Race

    In: Journal of Automated Reasoning (JAR), Vol. 4, No. 4, Pages 465-474, Springer, Berlin - Heidelberg, 1989.

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

    On the Solvability of Equational Problems

    Universität Kaiserslautern, SEKI Report, Vol. SR-89-07, 1989.

  4. Hans-Jürgen Bürckert

    Compuational Logic

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 177-202, Ellis Horwood, 1989.

  5. Hans-Jürgen Bürckert

    Unification Theory

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 141-153, Ellis Horwood Series in Artificial …

  6. Wary Buntine; Hans-Jürgen Bürckert

    On Solving Equations and Disequations

    Universität Kaiserslautern, SEKI Report, Vol. SR-89-07, 1989.