Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
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
Matthias Baaz
(E104-02)
Institut
E104-02 - Forschungsbereich Computational Logic
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
Publikationsliste