Rekursion in der koalgebraischen Semantik
Fachliche Zuordnung
Theoretische Informatik
Förderung
Förderung von 2007 bis 2010
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 34160376
Keine Zusammenfassung vorhanden
DFG-Verfahren
Sachbeihilfen
