Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

FB Inf

AG Formale Methoden und Deduktion

Die AG hat die folgenden Mitarbeiter:

Prof. Dr. Jürgen Avenhaus
Judith Stengel
Bernd Löchner
Tobias Schmidt-Samoa
Tobias Wahl

Ehemalige Mitarbeiter:

Jörg Denzinger
Dirk Fuchs
Martin Kronenburg

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern

Letzte Änderung: Wednesday, 26-Oct-05 08:59:20 GMT
www-aven@informatik.uni-kl.de