Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 3 projektów spełniających kryteria wyszukiwania:
-
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Konkurs: OPUS 7 , panel: ST6
Kierownik: prof. Damian Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Obliczeniowe aspekty gier nieskończonych
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki