3 projects found matching your search criteria :
Limits of decidability in automata theory
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Simulation and bisimulation for context-free and pushdown systems
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki