Publications

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

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

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

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

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

In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, Pages 177-201, ESPRIT Basic Research Series, Vol. 1, Springer, 11/1990.

Hans-Jürgen Bürckert

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

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

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

Hans-Jürgen Bürckert

In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), 10th, July 24-27, Kaiserslautern, Germany, Pages 178-192, Lecture Notes in Artificial Intelligence (LNAI), Vol. 449, Springer, Berlin - Heidelberg, 1990.

Günter Neumann; Wolfgang Finkler

Universität des Saarlandes, CLAUS-Report, Vol. 2, 8/1990.

Günter Neumann; Wolfgang Finkler

In: Hans Karlgren (Hrsg.). Proceedings of the 13th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-90), 13th, August 19-25, Helsinki, Finland, Pages 288-293, Vol. 2, University of Helsinki, 1990.

Hans Uszkoreit

In: Philip Miller; T. Torris (Hrsg.). Formalismes syntaxiques pour le traitement automatique du langage naturel. Pages 183-205, Hermes, Paris, 1990.

Hans Uszkoreit

In: Werner Bahner (Hrsg.). Proceedings of the 14th International Congress of Linguists. International Congress of Linguists, 14th, August 10-15, Berlin, Germany, Akademie Verlag, Berlin, 1990.