Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

FB Inf

Ulrich Kühler: Teaching Related Activities


Lectures: SS 98: Introduction to Logic and the Correctness of Programs
WS 97/98: Automata, Formal Languages, Computability
SS 97: Rewrite Systems II
WS 96/97: Rewrite Systems I
SS 96: Rewrite Systems II
WS 95/96: Rewrite Systems I
SS 95: Rewrite Systems II
WS 94/95: Rewrite Systems I
WS 93/94: Automata, Formal Languages, Computability
SS 93: Rewrite Systems II
WS 92/93: Rewrite Systems I
SS 92: Introduction to FORTRAN
Seminars: WS 94/95: Specification Methods for Distributed Systems
WS 92/93: Intuitionistic and Linear Logic
Proseminars: WS 93/94: Foundations of Logic Programming

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

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