3 projects found matching your search criteria :
On the border of impossible in classical automata theory
Call: OPUS 28 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Quantitative properties for higher-order recursion schemes
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki