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 6 projektów spełniających kryteria wyszukiwania:

  1. Indukcja dla formuł ograniczonych i jej relatywizacje

    Konkurs: OPUS 5 , panel: ST1

    Kierownik: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

    Konkurs: SONATA 18 , panel: ST6

    Kierownik: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  3. Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

    Konkurs: OPUS 21 , panel: ST6

    Kierownik: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze...

    Konkurs: OPUS 16 , panel: ST6

    Kierownik: dr hab. Lidia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  5. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

    Konkurs: OPUS 11 , panel: ST6

    Kierownik: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. W poszukiwaniu nowych logik komputerowych

    Konkurs: OPUS 11 , panel: ST6

    Kierownik: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy