Projektleiter_in

• Maximilian Jaroschek (E192-04)

Förderungmittel

• FWF - Österr. Wissenschaftsfonds (National) Einzelprojekt Fonds zur Förderung der wissenschaftlichen Forschung (FWF)

Forschungsschwerpunkte

• Logic and Computation: 100%

Publikationen

• Publikationsliste