Skip to main content Skip to main navigation

Publications

Displaying results 21 to 26 of 26.
  1. 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.

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

  3. Rolf Backofen

    Integration von Funktionen, Relationen und Typen beim Sprachentwurf. Teil II: Attributterme und Relationen

    Mastersthesis, Friedrich-Alexander Universität Erlangen-Nürnberg, 1989.

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

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

  6. Stephan Busemann; Christa Hauenschild

    From FAS Representations to GPSG Structures

    In: 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, Pages 17-43, KIT-Report, No. 74, TU Berlin, 1989.