The Fine Structure of Formal Proof Systems and their Computational Interpretations

01.01.2016 - 30.06.2019
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Grant funds

  • FWF - Österr. Wissenschaftsfonds (National) National Research Network (NFN) Austrian Science Fund (FWF) Call identifier I 2671-N35

Forschungsschwerpunkte

  • Beyond TUW-research focus: 100%

Externe Partner_innen

  • Universität Innsbruck

Publikationen