Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 3 projektów spełniających kryteria wyszukiwania:
-
Granice rozstrzygalności w teorii automatów
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania
Konkurs: OPUS 13 , panel: ST6
Kierownik: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
-
Problem separacji w teorii automatów
Konkurs: SONATA 11 , panel: ST6
Kierownik: dr Wojciech Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki