Koalgebraische Modellprüfung (CoMoC2)

• Antragsteller: Professor Dr. Stefan Milius; Professor Dr. Lutz Schröder
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2019 bis 2023
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 419850228

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen