Project Details
Person
Professor Dr. Thomas Zeume
Address
Ruhr-Universität Bochum
Center of Computer Science
Arbeitsgruppe Logik und Formale Verifikation
Wasserstraße 221
44799 Bochum
-
As Applicant
-
Current projects
-
Perspectives on dynamic complexity theory (Research Grants)
-
Current projects
