Research Group Logo CS Dept.
Formal Methods and Deduction
Prof. Dr. J. Avenhaus

Publications of the AG Avenhaus in 2000

Journals and Books

Conference Proceedings

Internal Reports


Impressum AG Formale Methoden und Deduktion Fachbereich Informatik Technische Universität Kaiserslautern Valid HTML 4.01!

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