Arbeitsgruppe Theoretische Informatik
Institut für Informatik / Johannes Gutenberg-Universität Mainz
Staudinger Weg 9, 55128 Mainz
Profil
Kurzportrait
Strukturelle Komplexitätstheorie, Endliche Modelltheorie, Kombinatorische Optimierung.
Dienstleistungsangebot
Beratung, Vorträge.