Publikationen

Dennis Dams; Dieter Hutter; Natalia Sidorova

In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, …

Dieter Hutter; Alan Bundy

In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel

In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on …

Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann

Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.

Dieter Hutter

In: B. Gramlich; H. Kirchner; F. Pfenning (Hrsg.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on …

Stefan Müller

Linguistische Arbeiten, Vol. 394, Max Niemeyer Verlag, Tübingen, 1999.

Walter Kasper; Bernd Kiefer; Hans-Ulrich Krieger; Christopher J. Rupp; Karsten L. Worm

In: ACL (Hrsg.). 37th Annual Meeting of the Association for Computational Linguistics (ACLANNUAL '99), June 20-26. Annual Meeting of the Association …

Hui Xu

In: Jhing-Fa Wang; Wu Chung-Hsien (Hrsg.). 13th Pacific Asia Conference on Language, Information and Computation (PACLIC 13), February 10-12. Pacific …

Hui Xu

In: Harry Bunt (Hrsg.). 3rd International Workshop on Computational Semantics (IWCS-3). International Workshop on Computational Semantics (IWCS-3), …

Gertjan van Noord; Gosse Bouma; Rob Koeling; Mark-Jan Nederhof

In: Natural Language Engineering, Vol. 5, No. 1, Pages 45-93, 1999.