Skip to main content Skip to main navigation

Publications

Displaying results 21 to 26 of 26.
  1. 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 European Chapter of the Association for Computational Linguistics (EACL), 4th, April 10-12, University of Manchester, United Kingdom, Pages 43-50, The Association, 1989.

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

    Deduction Systems in Artificial Intelligence

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

  3. 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.

  4. 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.

  5. 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.

  6. Complete Induction

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