Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Strukturelle und Computationale Beweistheorie
01.06.2011 - 30.05.2014
Forschungsförderungsprojekt
Personen
Projektleiter_in
Matthias Baaz
(E104)
Projektmitarbeiter_innen
Oliver Fasching
(E104)
Stefan Hetzl
(E104)
Vesna Sabljakovic-Fritz
(E104)
Institut
E104 - Institut für Diskrete Mathematik und Geometrie
Förderungmittel
FWF - Österr. Wissenschaftsfonds (National)
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Mathematical and Algorithmic Foundations: 100%
Publikationen
Publikationsliste