Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Stefan Müller
In: Grammars, Vol. 2, No. 1, Pages 53-105, Springer, 1999.
Linguistische Arbeiten, Vol. 394, Max Niemeyer Verlag, Tübingen, 1999.
Klaus Netter; Tillmann Wegst
ELSNews, European Network in Language and Speech, o.A. Vol. 8.2, 1999.
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.
Dieter Hutter
In: B. Gramlich; H. Kirchner; F. Pfenning (Hrsg.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on …
Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.
