Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Curry-Howard, Game Semantics and Herbrand¿s Theorem
01.11.2015 - 31.10.2017
Forschungsförderungsprojekt
Personen
Projektleiter_in
Federico Aschieri PhD
(E104)
Institut
E104 - Institut für Diskrete Mathematik und Geometrie
Förderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
Forschungsschwerpunkte
Außerhalb der TUW-Forschungsschwerpunkte