Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Aufdeckung der Axiome der Mathematik
01.10.2026 - 30.09.2031
Forschungsförderungsprojekt
Personen
Projektleiter_in
Juan Pablo Aguilera Ozuna
(E104-02)
Laura Kovacs
(E192-04)
Subprojektmanager_innen
Beatrix Buhl
(E192-04)
Institut
E104-02 - Forschungsbereich Computational Logic
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Förderungmittel
FWF - Österr. Wissenschaftsfonds (National)
Emerging Fields
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Logic and Computation: 100%
Externe Partner_innen
University of Vienna
Publikationen
Publikationsliste