Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Bedingungserfüllungsprobleme: jenseits des endlichen Falles
01.10.2022 - 30.09.2026
Forschungsförderungsprojekt
Personen
Projektleiter_in
Michael Pinsker
(E104-01)
Institut
E104-01 - Forschungsbereich Algebra
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
Publikationsliste