Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in …
In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.
Dieter Hutter; David McAllister; Christoph Walther
13th Conference on Automated Deduction, New Brunswick, USA, 1996.
Dieter Hutter; Claus Sengler
In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International …
In: Nicholas A. Merriam (Hrsg.). Proceedings International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem …
Andrew Bredenkamp; Thierry Declerck; Frederik Fouvry; Bradley Music
In: Proceedings of the 16th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-96), …
Tania Avgustinova; Karel Oliva
CLAUS-Report, Universität des Saarlandes, Vol. 70, 1/1996.
In: Prague School Linguistics Conference. Prague School Linguistics Conference, Prague, 1996.
Tania Avgustinova
CLAUS-Report, Universität des Saarlandes, Vol. 71, 1/1996.
Final Deliverable Report, Project LATESLAV, Universität des Saarlandes, 1996.