Univ.-Prof. Dr. Aart Middeldorp   

Winter 2003/2004

Advanced Topics in Term Rewriting   (bachelor seminar)

Computational Logic   (bachelor project)

Term Rewriting