Beweistheoretische Analyse modaler Logiken

01.05.2015 - 30.04.2017
Research funding project

People

Project leader

Institute

Förderungmittel

  • European Commission (EU) H2020 I.3. MSCA Marie Sklodowska-Curie Maßnahmen Säule Wissenschaftsexzellenz Rahmenprogramm Horizont 2020 Europäische Kommission Ausschreibungskennung H2020-MSCA-IF-2014 Antragsnummer 660047

Research focus

  • Computer Science Foundations: 100%

Publications