Beweisanalyse und autom. Deduktion für rekursive Strukturen

31.08.2022 - 30.08.2025
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • FWF - Österr. Wissenschaftsfonds (National)

Forschungsschwerpunkte

  • Computational Science and Engineering

Externe Partner_innen

  • Kürt Gödel Gesellschaft