Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

FB Inf

Literatur zur Vorlesung Reduktionssysteme im Sommersemester 2001

J. Avenhaus: Reduktionssysteme.
Springer, 1995.
Signatur: L INF 723, INF 355/022.
F. Baader, T. Nipkow: Term rewriting and all that.
Cambridge, 1998.
Signatur: INF 355/033.

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern

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