Projects search

• Keywords: regular separability ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. 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. 2. Automatic analysis of concurrent systems

   Principal investigator: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 14, Panel: ST6

3. 3. Understanding recursion

   Principal investigator: dr Lorenzo Clemente

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: SONATA 13, Panel: ST6