QuAT: Quantifiers and Arithmetic Theories are Friends with Benefits

01.05.2024 - 30.04.2025
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Grant funds

  • Amazon Research Awards

Forschungsschwerpunkte

  • Logic and Computation: 100%

Publikationen