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
-
Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?
Konkurs: OPUS 16 , panel: ST6
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
-
Ilościowe aspekty złożoności obliczeniowej w rachunku lambda
Konkurs: PRELUDIUM 11 , panel: ST6
Kierownik: dr Maciej Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki