Znaleziono 4 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
Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorytmy przetwarzania danych tekstowych
Konkurs: OPUS 2 , panel: ST6
Kierownik: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Konkurs: SONATA 13 , panel: ST6
Kierownik: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki