Skip to main content Skip to main navigation

Publikationen

Seite 11 von 11.

  1. Hans-Jürgen Bürckert

    Some relationships between Unification, Restricted Unification, and Matching

    Universität Kaiserslautern, SEKI Report, Vol. SR-86-07, 1986.

  2. Hans-Jürgen Bürckert

    Extending the Warren Abstract Machine to Many-sorted PROLOG

    SEKI-Memo, Universität Kaiserslautern, SEKI-Memo, Vol. SEKI-85-07, 1985.

  3. Hans-Jürgen Bürckert; H. Wang; R. Zheng

    MKRP: A Performance Test by Working Mathematicians

    Universität Karlsruhe, Interner Bericht, Vol. 19/83, 1983.