Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 3 projektów spełniających kryteria wyszukiwania:
-
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Konkurs: OPUS 6 , panel: ST6
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
-
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: Łukasz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Kombinatoryczne i deskryptywne własności ideałów na zbiorach przeliczalnych.
Konkurs: PRELUDIUM 4 , panel: ST1
Kierownik: dr Adam Kwela
Instytut Matematyczny PAN