FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Koinduktion und Algebra in der Axiomatisierung und Algorithmik von Systemäquivalenzen
Third party funded individual grant
Start date :
01.06.2019
End date :
31.05.2022
Overview
Project details
Involved:
Stefan Milius
Project Leader
Contributing FAU Organisations:
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Funding Source
DFG-Einzelförderung / Sachbeihilfe (EIN-SBH)