Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 2 projektów spełniających kryteria wyszukiwania:

  1. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

    Konkurs: OPUS 6 , panel: ST6

    Kierownik: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  2. Efekty algebraiczne: kompozycja i koindukcja

    Konkurs: SONATA 14 , panel: ST6

    Kierownik: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki