Formalizing Proof Theory

01.01.2016 - 31.12.2016
Research funding project

People

Project leader

Institute

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