Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Logik in der Informatik | AG Theoretische Informatik | Dr. André Frochaux | FK23.bib FK23.bib