Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 7 bis 12 von 16
  1. 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 …

  2. Hans-Jürgen Bürckert

    Deduktion als Berechnung

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

  3. Hans-Jürgen Bürckert

    Unifikationstheorie

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

  4. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification? (Abstract)

    In: Claude Kirchner (Hrsg.). Summaries of Talks given at 1st Workshop on Unification. International Workshop on Unification (UNIF-87), March 18-20, …

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

  6. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

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