Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 11 to 20 of 26.
  1. Hans-Jürgen Bürckert; Manfred Schmidt-Schauß

    On the Solvability of Equational Problems

    Universität Kaiserslautern, SEKI Report, Vol. SR-89-07, 1989.

  2. Hans-Jürgen Bürckert

    Compuational Logic

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 177-202, Ellis Horwood, 1989.

  3. Hans-Jürgen Bürckert

    Unification Theory

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 141-153, Ellis Horwood Series in Artificial …

  4. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

    In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 523-536, Elsevier, 1989.

  5. Hans-Jürgen Bürckert; A. Herold; M. Schmidt-Schauß

    On Equational Theories, Unification, and (Un)decidability

    In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 3-49, Elsevier, 1989.

  6. Hans-Jürgen Bürckert; A. Herold; D. Kapur; Jörg Siekmann; M.E. Stickel; M. Tepp; H. Zhang

    Opening the AC-Unification Race

    In: Journal of Automated Reasoning (JAR), Vol. 4, No. 4, Pages 465-474, Springer, Berlin - Heidelberg, 1989.

  7. Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)

    Deduction Systems in Artificial Intelligence

    Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, 1989.

  8. Michael Malburg; Rainer Bleisinger

    HYPERBIS: ein betriebliches Hypermedia-Informationssystem

    DFKI, DFKI Documents (D), Vol. 89-01, 1989.

  9. Kurt Eberle; Walter Kasper

    Tenses as Anaphora

    In: ACL (Hrsg.). Proceedings of the 4th Conference of the European Chapter of the Association for Computational Linguistics. Conference of the …

  10. Stephan Busemann; Christa Hauenschild; Carla Umbach (Hrsg.)

    Views of the Syntax/ Semantics Interface. Proceedings of the Workshop 'GPSG and Semantics'

    Workshop GPSG and Semantics, February 22-24, Berlin, Germany, KIT-Report, No. 74, TU Berlin, Berlin, 1989.