Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

4 projects found matching your search criteria :

  1. Decidability issues for automata on infinite structures

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Damian Tadeusz Niwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Hierarchy-type Problems for Automata on Infinite Words and Trees

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Paweł Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  3. On the border of impossible in classical automata theory

    Call: OPUS 28 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski

  4. Computational aspects of infinite-duration games

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Paweł Czesław Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy