Bedingungserfüllungsprobleme: jenseits des endlichen Falles

01.10.2022 - 30.09.2026
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungmittel

  • FWF - Österr. Wissenschaftsfonds (International) CEUS: FWF- Lead Agency Internationale Programme Fonds zur Förderung der wissenschaftlichen Forschung (FWF) Ausschreibungskennung WEAVE

Forschungsschwerpunkte

  • Logic and Computation: 70%
  • Mathematical and Algorithmic Foundations: 15%
  • Computer Science Foundations: 15%

Publikationen