Grundlagen der Theoretischen Informatik
Lehrstuhl Prof. Baier
Lehrstuhl Prof. Baader