Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Nichtklassische Beweise: Theorie, Automatisierung, Anwendungen
01.12.2011 - 30.11.2019
Forschungsförderungsprojekt
Personen
Projektleiter_in
Agata Ciabattoni
(E192-05)
Projektmitarbeiter_innen
Nino Antidze
(E192-05)
Paolo Baldi
(E192-05)
Petr Cintula
(E192-05)
Elisabeth Hofmann
(E192-05)
Roman Kuznets
(E192-05)
Björn Lellmann
(E192-05)
Tomer Libal
(E192-05)
Don Revantha Shiyan Ramanayake
(E192-05)
Christoph Roschger
(E192-05)
Lara Katharina Spendier
(E192-05)
Anna Zamansky
(E192-05)
Institut
E192-05 - Forschungsbereich Theory and Logic
Förderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
START-Programm
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Computational Science and Engineering
Publikationen
Publikationsliste