Publications

Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

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 Conference on Automated Deduction (CADE), 13th, July 30 - August 3, New Brunswick, NJ, USA, Pages 288-292, Lecture Notes in Computer Science (LNCS), Vol. 1104, ISBN 978-3-540-61511-8, Springer-Verlag, Berlin, Heidelberg, 1996.

Dieter Hutter; Claus Sengler

In: Nicholas A. Merriam (Hrsg.). Proceedings International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-96), July 19, York, United Kingdom, Pages 43-50, N. Merriam, 1996.

Stephan Busemann

Research Report, DFKI, Vol. RR-96-05, 1996.

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), August 5-9, Copenhagen, Denmark, Pages 1028-1031, Morgan Kaufmann Publishers, 1996.

Tania Avgustinova; Karel Oliva

CLAUS-Report, Universität des Saarlandes, Vol. 70, 1/1996.

Tania Avgustinova; Karel Oliva

In: Prague School Linguistics Conference. Prague School Linguistics Conference, Prague, 1996.

Tania Avgustinova

CLAUS-Report, Universität des Saarlandes, Vol. 71, 1/1996.

Tania Avgustinova

Final Deliverable Report, Project LATESLAV, Universität des Saarlandes, 1996.