Publikationen

Dieter Hutter

Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.

Georg Rock; Werner Stephan; Andreas Wolpers

In: R. Berghammer; Y. Lakhnech (Hrsg.). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for …

Georg Rock; Werner Stephan; Andreas Wolpers

In: Katharina Spies; Bernhard Schätz (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99), München, Germany, …

Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer

In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German …

Berthold Crysmann; Antonio Branco

In: Romance Languages and Linguistic Theory 1999.Selected papers from 'Going Romance' 1999, December 9-11. Symposium on Romance Linguistics (Going …

Berthold Crysmann

In: Constraints and Resources in Natural Language Syntax and Semantics. Studies in Constraint-Based Lexicalism, CSLI Publications, 1999.

Berthold Crysmann

In: Empirical Issues in Formal Syntax and Semantics. Selected papers from the Colloque de Syntaxe et de Sémantique de Paris (CSSP'97), October 16-18. …

Joanne Capstick; Abdel Kader Diagne; Gregor Erbach; Hans Uszkoreit; Anne Leisenberg; Manfred Leisenberg

In: Information Processing and Management. An International Journal, Vol. 36, No. 2, Pages 275-289, 1999.

Stephan Busemann

In: Proceedings of the AISB'99 Workshop on Reference Architectures and Data Standards for NLP, April 6-9. AISB Workshop on Reference Architectures and …

Andrew Bredenkamp; Judith Klein; Berthold Crysmann

In: ATALA sur les Corpus Annotés pour la Syntaxe Treebanks. Les journées d'Etude de l'ATALA, June 18-19, Paris, France, 1999.