Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 5 projektów spełniających kryteria wyszukiwania:
-
Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Konkurs: OPUS 11 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Modele obliczeń rozszerzone o dane
Konkurs: OPUS 18 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Granice automatycznej analizy systemów współbieżnych
Konkurs: OPUS 21 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Automatyczna analiza systemów współbieżnych
Konkurs: OPUS 14 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki