Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Über die Computationale Interpretation von Intermediären Logiken
01.01.2019 - 28.02.2022
Forschungsförderungsprojekt
Personen
Projektleiter_in
Federico Aschieri
(E192-05)
Institut
E192-05 - Forschungsbereich Theory and Logic
Förderungmittel
FWF - Österr. Wissenschaftsfonds (National)
Einzelprojekt
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Mathematical and Algorithmic Foundations: 40%
Computer Science Foundations: 60%
Publikationen
Publikationsliste