Publikationen

Tania Avgustinova; Bistra Andreeva

In: The 14th International Congress of Phonetic Sciences, August 1-7. International Congress of Phonetic Sciences (ICPhS), Pages 1501-1504, 1999.

Tania Avgustinova; Claire Gardent; Karel Oliva

Universität des Saarlandes, Vol. 109, 1999.

Tania Avgustinova; Wojciech Skut; Hans Uszkoreit

In: Slavic in Head-Driven Phrase Structure Grammar. Pages 1-28, CSLI Publications, 1999.

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), …

Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

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

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.