Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Formalizing Proof Theory
01.01.2016 - 31.12.2016
Research funding project
People
Project leader
Don Revantha Shiyan Ramanayake
(E192-05)
Institute
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
Research focus
Computer Science Foundations: 100%
Publications
Publications