Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 3 projektów spełniających kryteria wyszukiwania:
-
Obliczeniowe aspekty gier nieskończonych
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Własności ilościowe dla schematów rekurencyjnych wyższego rzędu
Konkurs: SONATA BIS 6 , panel: ST6
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Granice rozstrzygalności w teorii automatów
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki