Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Beweisanalyse und autom. Deduktion für rekursive Strukturen
31.08.2022 - 30.08.2025
Forschungsförderungsprojekt
Personen
Projektleiter_in
Gernot Salzer
(E192-05)
Institut
E192-05 - Forschungsbereich Theory and Logic
Förderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
Programm Joint Projects
Internationale Programme
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Ausschreibungskennung PEEK
Forschungsschwerpunkte
Computational Science and Engineering
Externe Partner_innen
Kürt Gödel Gesellschaft
Publikationen
Publikationsliste