Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 4 projektów spełniających kryteria wyszukiwania:
-
Na granicy niemożliwego w klasycznej teorii automatów
Konkurs: OPUS 28 , panel: ST6
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski
-
Obliczeniowe aspekty gier nieskończonych
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr hab. Paweł Czesław Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Konkurs: OPUS 7 , panel: ST6
Kierownik: prof. Damian Tadeusz 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ł Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki