Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
FINGO: Endliche Graphen-Betriebsautomaten treffen auf dynamische Logiken
01.04.2026 - 31.03.2029
Forschungsförderungsprojekt
Personen
Projektleiter_in
Bartosz Jan Bednarczyk
(E192-03)
Institut
E192-03 - Forschungsbereich Knowledge Based Systems
Förderungmittel
FWF - Österr. Wissenschaftsfonds (National)
ESPRIT
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Logic and Computation: 100%
Publikationen
Publikationsliste