Wyniki wyszukiwania
Znaleziono 2 projekty spełniających kryteria wyszukiwania:
-
1. Efekty algebraiczne: kompozycja i koindukcja
Kierownik: dr Maciej Adam Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 14, panel: ST6
-
2. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 6, panel: ST6