Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Ruhr-Universität Bochum
Center of Computer Science
Arbeitsgruppe Logik und Formale Verifikation

Address Wasserstraße 221
44799 Bochum
Deutschland

GERiT This institution in GERiT

44799 Bochum

Projects

Research Grants
- Current projects
  - Formal Foundations for Teaching Support Systems in Theoretical Computer Science
    (Applicant Zeume, Thomas )
  - Perspectives on dynamic complexity theory
    (Applicant Zeume, Thomas )

© 2024 DFG Disclaimer / Copyright / Privacy Policy