Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Braunschweig
Carl-Friedrich-Gauß-Fakultät
Institut für Theoretische Informatik

Address Mühlenpfordtstraße 22-23
38106 Braunschweig
Deutschland

GERiT This institution in GERiT

38106 Braunschweig

Projects

Research Grants
- Completed projects
  - Effective Denotational Semantics for Synthesis
    (Applicant Meyer, Roland )
  - Finitie Coalgebras in Minimization and Recursion
    (Applicant Adámek, Jiri )
  - Rekursion in der koalgebraischen Semantik
    (Applicant Adámek, Jiri )
  - Robustness against Relaxed Memory Models (R2M2)
    (Applicant Meyer, Roland )

© 2024 DFG Disclaimer / Copyright / Privacy Policy