Proof analysis and autom. deduction for recursive structures

31.08.2022 - 30.11.2025
Research funding project

People

Project leader

Institute

Grant funds

  • FWF - Österr. Wissenschaftsfonds (National) Programm Joint Projects International Programmes Austrian Science Fund (FWF) Call identifier PEEK

Research focus

  • Computer Science Foundations: 100%

External partner

  • Kürt Gödel Gesellschaft

Publications