Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 projektów spełniających kryteria wyszukiwania:
-
Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Algebraiczne niezmienniki dla Sieci Petriego z danymi.
Konkurs: SONATA 11 , panel: ST6
Kierownik: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki