Search results
3 projects found matching your search criteria:
-
1. Separability problem in automata theory
Principal investigator: dr Wojciech Karol Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 11, Panel: ST6
-
2. Classical problems in the theory of finite automata: new approaches, variants, and applications
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 13, Panel: ST6
-
3. Limits of decidability in automata theory
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 4, Panel: ST6