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

Detailseite

Person

Druckansicht

Professor Dr. Michael Hanus

Adresse Christian-Albrechts-Universität zu Kiel
Technische Fakultät
Institut für Informatik
24098 Kiel

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Eine Analyse- und Programmierumgebung für deklarative Sprachen (Sachbeihilfen)
  - Systematische Fehlersuche in deklarativen Programmen (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz