Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1986
Remove all filters
Displaying results 1 to 5 of 5.

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

    Unifikation. Aktuelles Schlagwort.

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

  2. Hans-Jürgen Bürckert

    Lazy Theory Unification in PROLOG: An Extension of the Warren Abstract Machine

    In: Claus-Rainer Rollinger; Werner Horn (Hrsg.). Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische Artificial-Intelligence-Tagung. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria, Pages 277-288, Informatik-Fachberichte, Vol. 124, Springer, 1986.

  3. 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 Deduction (CADE-1986), 8th, July 27 - August 1, Oxford, United Kingdom, Pages 514-524, Lecture Notes in Computer Science (LNCS), Vol. 230, Springer, 1986.

  4. Gregor Erbach

    Textverarbeitungsprogramme - heute und morgen

    KMI Bürowirtschaft Lehre und Praxis, Winklers Verlag, Darmstadt, 1986.

  5. Hans-Jürgen Bürckert

    Some relationships between Unification, Restricted Unification, and Matching

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

Year