Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 7 bis 8 von 8
  1. Hans-Jürgen Bürckert

    Some relationship Between Unification, Restricted Unification, and Matching

    In: Jörg Siekmann (Hrsg.). Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated …

  2. Hans-Jürgen Bürckert; Alexander Herold

    Unifikation. Aktuelles Schlagwort.

    In: Informatik Spektrum, Vol. 9, No. 3, Pages 186-187, Springer, 1986.