Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Nichtklassische Beweise: Theorie, Automatisierung, Anwendungen
01.12.2011 - 30.11.2019
Research funding project
People
Project leader
Agata Ciabattoni
(E192-05)
Project personnel
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)
Institute
E192-05 - Forschungsbereich Theory and Logic
Förderungmittel
FWF - Österr. Wissenschaftsfonds (National)
START-Programm
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Research focus
Computer Science Foundations: 100%
Publications
Publications