Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
New Concepts of Formal Proof and Proof Representations
01.02.2020 - 30.09.2023
Research funding project
People
Project leader
Matthias Baaz
(E104-02)
Institute
E104-02 - Research Unit of Computational Logic
Grant funds
FWF - Ă–sterr. Wissenschaftsfonds (National)
Programm Joint Projects
International Programmes
Austrian Science Fund (FWF)
Call identifier I 4427-N
Research focus
Beyond TUW-research focus: 100%
External partner
Moscow State University
Publications
Publications