Publications

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.

Eberhard Bertsch; Mark-Jan Nederhof

In: SIAM Journal on Computing, Vol. 29, No. 1, Pages 81-102, 1999.

Eberhard Bertsch; Mark-Jan Nederhof

In: ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 21, No. 1, Pages 1-10, 1999.

Stefan Müller

In: 6th International Conference on Head-Driven Phrase Structure Grammar. International Conference on Head-Driven Phrase Structure Grammar (HPSG-99), …

Stefan Müller

In: Proceedings of the 5th Natural Language Processing Pacific Rim Symposium 1999 (NLPRS '99), November 5-7. Natural Language Processing Pacific Rim …

Stefan Müller

In: Jost Gippert; Peter Olivier (Hrsg.). Proceedings of the 11. Jahrestagung der Gesellschaft für Linguistische DatenVerarbeitung. Multilinguale …

Stefan Müller

In: Grammars, Vol. 2, No. 1, Pages 53-105, Springer, 1999.