Jochen Dörre; Gregor Erbach; Suresh Manandhar; Wojciech Skut; Hans Uszkoreit
In: Proceedings of the 3rd International Conference on HPSG and Traitement Automatique du Langage Naturel. International Conference on HPSG and …
Tania Avgustinova
Final Deliverable Report, Project LATESLAV, Universität des Saarlandes, 1996.
CLAUS-Report, Universität des Saarlandes, Vol. 80, 9/1996.
Peter Fettke
PhD-Thesis, Westfälische Wilhelms-Universität Münster, 1996.
Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
In: Martin C. Golumbic (Hrsg.). Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 18, No. 2, Pages 95-131, Springer, Netherlands, 9/1996.
Susanne Biundo; Werner Stephan
In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial …
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 …