Univ.-Prof. Dr. Aart Middeldorp   

Summer 2005

Advanced Topics in Term Rewriting

Computational Logic   (bachelor project)

Logic in Computer Science

Topics in Termination   (master seminar)