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. Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)

    Deduction Systems in Artificial Intelligence

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

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

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

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

  5. Hans-Jürgen Bürckert; Manfred Schmidt-Schauß

    On the Solvability of Equational Problems

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

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

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

  8. Rolf Backofen

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

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

  9. Walter Kasper

    Situationen und Einstellungen

    In: G. Falkenberg (Hrsg.). Wissen, Wahrnehmen, Glauben. Epistemische Ausdrücke und propositionale Einstellungen. Pages 97-121, Niemeyer, Tübingen, …

  10. Ronald M. Kaplan; Klaus Netter; Jürgen Wedekind; Annie Zaenen

    Translation by Structural Correspondences

    In: 4th Conference of the European Chapter of the Association for Computational Linguistics. Conference of the European Chapter of the Association for …