December 5-6, 1996
Abteilung Theoretische Informatik
Universität Stuttgart
J. Esparza
K.-J. Lange
C. Lautemann
M. Droste
C. Meinel
M. Krause
E. W. Mayr
Yu. Matiyasevich
E. Börger
J. Esparza, K.-J. Lange, W. Brauer
U. Hertrampf, A.Bergen, C. Lautemann, A. Muscholl, H. J. Hoogeboom
W. Brauer, Yu. Matiyasevich, U. Hertrampf
H. J. Hoogeboom, Yu. Matiyasevich, A. Muscholl
E. Börger, Yu. Matiyasevich