Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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

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

GERiT Diese Institution in GERiT

38106 Braunschweig

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Effektive Denotationelle Semantik für die Synthese
    (Antragsteller Meyer, Roland )
  - Endliche Coalgebren in Minimierung und Rekursion
    (Antragsteller Adámek, Jiri )
  - Rekursion in der koalgebraischen Semantik
    (Antragsteller Adámek, Jiri )
  - Robustheit gegenüber schwachen Speichermodellen
    (Antragsteller Meyer, Roland )

© 2024 DFG Kontakt / Impressum / Datenschutz