Beweistheoretische Analyse modaler Logiken

01.05.2015 - 30.04.2017
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • Europäische Kommission - Rahmenprogamme (Internationale Förderung und Mischformen) Förderform MSCA IF Individualförderung Förderinitiative H2020 I.3. MSCA Marie Sklodowska-Curie Maßnahmen Förderschiene EU-Rahmenprogramm Forschung + Innovation Horizont 2020 Förderprogramm Europäische Kommission - Rahmenprogamme Fördergeber Europäische Kommission Reichweite Internationale Förderung und Mischformen Projekttyp Forschungsförderungsprojekt Ausschreibungskennung H2020-MSCA-IF-2014 Antragsnummer 660047

Forschungsschwerpunkte

  • Computational Science and Engineering