Klaus Netter; Tillmann Wegst
ELSNews, European Network in Language and Speech, o.A. Vol. 8.2, 1999.
Mark-Jan Nederhof; Eberhard Bertsch
In: A. Kornai (Hrsg.). Extended Finite State Models of Language. Pages 226-243, Cambridge University Press, Stanford, 1999.
Steffen Staab; Christian Braun; Ilvio Bruder; Antje Düsterhöft; Andreas Heuer; Meike Klettke; Günter Neumann; Bernd Prager; Jan Pretzel; Hans-Peter Schnurr; Rudi Studer; Hans Uszkoreit; Burkhard Wrenger
In: 5th International Work-Conference on Artificial and Natural Neural Networks (IWANN '99), June 2-4. International Work-Conference on Artificial …
Heiko Mantel; Jens Otten
In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …
Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …
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 …
Eberhard Bertsch; Mark-Jan Nederhof
In: SIAM Journal on Computing, Vol. 29, No. 1, Pages 81-102, 1999.
In: ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 21, No. 1, Pages 1-10, 1999.