2 projects found matching your search criteria :
Hierarchy-type Problems for Automata on Infinite Words and Trees
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Efficient algorithms for weak forms of non-determinism
Call: SONATA 11 , Panel: ST6
Principal investigator: dr hab. Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki