Univ.-Prof. Dr. Aart Middeldorp   

Winter 2006/2007

Computational Logic   (bachelor project)

Computational Logic 4   (master seminar)

Formal Languages and Automata Theory

Logic in Computer Science