Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 14 von 14
  1. Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß

    On Equational Theories

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

  2. Hans-Jürgen Bürckert; Andreas Künkler

    Gesellschaftliche Auswirkungen der Informatik. Seminarvorträge

    Skriptum, Universität Kaiserslautern, Skriptum, Vol. WS 1986/87, 1987.

  3. Hans-Jürgen Bürckert

    Lazy E-Unification - A Method to Delay Alternative Solutions

    Université de Nancy, Rapport Interne, Vol. 87 R 34, 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 …