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örderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
Einzelprojekt
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Computational Science and Engineering
Publikationen
Publikationsliste