Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 31 bis 40 von 58
  1. 13 Lexikonartikel für den Bereich der Unifikationsgrammatiken

    In: H. Bußmann (Hrsg.). Lexikon der Sprachwissenschaft. Kröner, Stuttgart, 1990.

  2. Harald Trost

    The Application of Two-Level Morphology to Non-Concatenative German Morphology

    DFKI, DFKI Research Reports (RR), Vol. 90-15, 1990.

  3. Harald Trost

    The Application of Two-Level Morphology to Non-Concatenative German Morphology

    In: Hans Karlgren (Hrsg.). Proceedings of the13th International Conference on Computational Linguistics (COLING '90). International Conference on …

  4. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann

    Concept Logics

    In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, …

  5. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

    In: Claude Kirchner (Hrsg.). Unification. Pages 125-138, Academic Press, 1990.

  6. Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß

    On Equational Theories, Unification, and (Un)decidability

    In: Claude Kirchner (Hrsg.). Unification. Pages 69-119, Academic Press, 1990.

  7. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

    In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction …

  8. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

    DFKI, DFKI Research Reports (RR), Vol. 90-02, 1990.

  9. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann

    Concept Logics

    Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 90-10, 1990.

  10. Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich

    Terminological Knowledge Representation: A Proposal for a Terminological Logic

    DFKI GmbH, DFKI Technical Memos (TM), Vol. 90-04, 1990.