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

  1. Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych

    Konkurs: OPUS 7 , panel: ST6

    Kierownik: prof. Damian Niwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Teoretyczne aspekty protokołów wyborczych

    Konkurs: SONATA 5 , panel: ST6

    Kierownik: dr Filip Zagórski

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

  3. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Lidia Tendera

    Uniwersytet Opolski

  4. Granice rozstrzygalności w teorii automatów

    Konkurs: SONATA 4 , panel: ST6

    Kierownik: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. 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

  6. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

    Konkurs: PRELUDIUM 1 , panel: HS1

    Kierownik: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  7. Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

    Konkurs: OPUS 14 , panel: ST1

    Kierownik: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki