Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Structural complexity measures for foundational theories
01.06.2025 - 31.05.2029
Forschungsförderungsprojekt
Personen
Projektleiter_in
Dino Rossegger
(E104-02)
Institut
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
Forschungsschwerpunkte
Mathematical and Algorithmic Foundations: 100%
Externe Partner_innen
Warsaw University
Publikationen
Publikationsliste