The Fine Structure of Formal Proof Systems and their Computational Interpretations - nationale Forschungspartnerschaft mit Georg Moser/Universität Innsbruck

01.01.2016 - 30.06.2019
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungmittel

  • FWF - Österr. Wissenschaftsfonds (National) Nationales Forschungsnetzwerk (NFN) Fonds zur Förderung der wissenschaftlichen Forschung (FWF) Ausschreibungskennung I 2671-N35

Forschungsschwerpunkte

  • Außerhalb der TUW-Forschungsschwerpunkte: 100%

Externe Partner_innen

  • Universität Innsbruck

Publikationen