Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus
Ulrich Kühler
Address:
Ulrich Kühler
AG Formale Methoden und Deduktion
Technische Universität Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653 Kaiserslautern, Germany
Fax: ++49 631 205 2156
Email:
kuehler@informatik.uni-kl.de
Research Projects
Rewrite-Based Inductive Theorem Proving
Publications
Teaching Related Activities
Impressum
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