Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Formalizing Proof Theory
01.01.2016 - 31.12.2016
Forschungsförderungsprojekt
Personen
Projektleiter_in
Don Revantha Shiyan Ramanayake
(E192-05)
Institut
E192-05 - Research Unit of Theory and Logic
Grant funds
OeAD-GmbH - Agentur für Bildung und Internationalisierung (National)
Austrian Exchange Service (OeAD)
Call identifier 92öu14
Forschungsschwerpunkte
Computer Science Foundations: 100%
Publikationen
Publikationsliste