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)