Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 5 projektów spełniających kryteria wyszukiwania:
-
Niezmiennicze relacje równoważności
Konkurs: PRELUDIUM 9 , panel: ST1
Kierownik: Tomasz Rzepecki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
-
Metody wnioskowania o programach w językach wyższego rzędu
Konkurs: OPUS 8 , panel: ST6
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
-
Analityczne relacje równoważności i działania grup polskich
Konkurs: SONATA 3 , panel: ST1
Kierownik: dr Marcin Sabok
Instytut Matematyczny PAN
-
Problemy klasyfikacji w dynamice topologicznej i teorii ergodycznej
Konkurs: PRELUDIUM BIS 1 , panel: ST1
Kierownik: dr hab. Dominik Kwietniak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
-
Ograniczone, niezmiennicze relacje równoważności
Konkurs: ETIUDA 5 , panel: ST1
Kierownik: Tomasz Rzepecki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki