Rekursion in der koalgebraischen Semantik

• Antragsteller: Professor Dr. Jiri Adámek
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2007 bis 2010
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 34160376

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen