Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

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