Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Structural and Computational Proof Theory
01.06.2011 - 30.05.2014
Research funding project
People
Project leader
Matthias Baaz
(E104)
Project personnel
Oliver Fasching
(E104)
Stefan Hetzl
(E104)
Vesna Sabljakovic-Fritz
(E104)
Institute
E104 - Institute of Discrete Mathematics and Geometry
Grant funds
FWF - Ă–sterr. Wissenschaftsfonds (National)
Austrian Science Fund (FWF)
Research focus
Mathematical and Algorithmic Foundations: 100%
Publications
Publications