Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 7 bis 10 von 10
  1. Hans-Jürgen Bürckert

    Solving Disequations in Equational Theories

    In: E. L. Lusk; R. Overbeek (Hrsg.). Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated …

  2. Hans-Jürgen Bürckert; Alexander Herold; D. Kapur; Jörg Siekmann; Mark E. Stickel; Michael Tepp; H. Zhang

    Opening the AC-Unification Race

    Universität Kaiserslautern, SEKI Report, Vol. SR-88-11, 1988.

  3. Stephan Busemann; Christa Hauenschild

    A Constructive Version of GPSG for Machine Translation

    In: Erich Steiner; Paul Schmidt; Cornelia Zelinsky-Wibbelt (Hrsg.). From Syntax to Semantics. Insights from Machine Translation. Pages 216-238, …

  4. Surface Transformations During the Generation of Written German Sentences

    In: David D. McDonald; Leonard Bolc (Hrsg.). Natural Language Generation Systems. Pages 98-165, Symbolic Computation, ISBN 0-387-96691-9 , Springer …