Beweisanalyse und autom. Deduktion für rekursive Strukturen

31.08.2022 - 30.11.2025
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungmittel

  • FWF - Österr. Wissenschaftsfonds (National) Programm Joint Projects Internationale Programme Fonds zur Förderung der wissenschaftlichen Forschung (FWF) Ausschreibungskennung PEEK

Forschungsschwerpunkte

  • Computer Science Foundations: 100%

Externe Partner_innen

  • Kürt Gödel Gesellschaft

Publikationen