Veröffentlichungen der Abteilung
Algebraische und logische Grundlagen der Informatik