Proof-theoretic Analysis of Modal Logics

01.05.2015 - 30.04.2017
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Grant funds

  • European Commission (EU) H2020 I.3. MSCA Marie Sklodowska-Curie Actions Pillar Excellent Science Framework programme Horizon 2020 European Commission Call identifier H2020-MSCA-IF-2014 Application number 660047

Forschungsschwerpunkte

  • Computer Science Foundations: 100%

Publikationen