Grenzen der Methoden zum Lösen von Constrained Horn Clauses

01.12.2026 - 30.11.2028
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungmittel

  • Österr. Akademie der Wissenschaften (National) DOC Österreichische Akademie der Wissenschaften (ÖAW)

Forschungsschwerpunkte

  • Fundamental Mathematics Research: 20%
  • Logic and Computation: 80%

Publikationen