QuAT: Quantifiers and Arithmetic Theories are Friends with Benefits

01.05.2024 - 30.04.2025
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • Amazon Research Awards

Forschungsschwerpunkte

  • Information and Communication Technology