Uni Leipzig
Fakultät für Mathematik und Informatik
Institut für Informatik
Algebraische und logische
Grundlagen der Informatik