Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Structural complexity measures for foundational theories
01.06.2025 - 31.05.2029
Research funding project
People
Project leader
Dino Rossegger
(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 Weave
Research focus
Mathematical and Algorithmic Foundations: 100%
External partner
Warsaw University
Publications
Publications