Project Details

Professor Dr. Manfred Schmidt-Schauß

Address Goethe-Universität Frankfurt am Main
Fachbereich 12: Informatik und Mathematik
Institut für Informatik
Robert-Mayer-Straße 11-15
60325 Frankfurt am Main

Projects

As Applicant
- Completed projects
  - Automatischer Korrektheitsnachweis von Programmtransformationen (Research Grants)
  - Improvements for concurrent call-by-need functional programming languages. (Research Grants)

Servicenavigation

Hauptnavigation

Professor Dr. Manfred Schmidt-Schauß

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Manfred Schmidt-Schauß

Additional Information

Textvergrößerung und Kontrastanpassung