Projekty finansowane przez NCN


Dane kierownika projektu i jednostki wnioskującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

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

2014/13/B/ST6/03595

Słowa kluczowe:

automat automaty na drzewach

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST1_15: Matematyczne aspekty informatyki

Panel:

ST6 - Informatyka i technologie informacyjne

Jednostka wnioskująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki wnioskującej):

prof. dr hab. Damian Tadeusz Niwiński 

Liczba wykonawców projektu: 10

Konkurs: OPUS 7 - ogłoszony 2014-03-17

Przyznana kwota: 499 500 PLN

Rozpoczęcie projektu: 2015-02-04

Czas trwania projektu: 36 miesięcy

Status projektu: Projekt zakończony

Dane z raportu końcowego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (11)
  1. Measure Properties of Regular Sets of Trees IF: 0,83
    Autorzy:
    Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michał Skrzypczak
    Czasopismo:
    Information and Computation (rok: 2017, tom: 256, strony: 108-130), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.ic.2017.04.012 - link do publikacji
  2. Monadic Second Order Logic with Measure and Category Quantifiers IF: 0,661
    Autorzy:
    Matteo Mio, Michał Skrzypczak, Henryk Michalewski
    Czasopismo:
    Logical Methods in Computer Science , Wydawca: CoRR
    Status:
    Przyjęte
  1. Measure Quantifier in Monadic Second Order Logic
    Autorzy:
    Henryk Michalewski, Matteo Mio
    Konferencja:
    Logical Foundations of Computer Science - International Symposium, LFCS 2016 (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 4-7.01.2016
    Status:
    Opublikowane
  2. Recognisable Languages over Monads
    Autorzy:
    Mikołaj Bojańczyk
    Konferencja:
    Developments in Language Theory - 19th International Conference, DLT 2015 (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 27.30.2015
    Status:
    Opublikowane
  3. Star Height via Games
    Autorzy:
    Mikołaj Bojańczyk
    Konferencja:
    30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015 (rok: 2015, ), Wydawca: IEEE Computer Society
    Data:
    konferencja 06.07.2015
    Status:
    Opublikowane
  4. A Characterisation of Pi^0_2 Regular Tree Languages
    Autorzy:
    Filippo Cavallari, Henryk Michalewski, Michal Skrzypczak
    Konferencja:
    MFCS 2017 (rok: 2017, ), Wydawca: LIPIcs
    Data:
    konferencja 23 sierpnia 2017
    Status:
    Opublikowane
  5. On the Problem of Computing the Probability of Regular Sets of Trees
    Autorzy:
    Henryk Michalewski, Matteo Mio
    Konferencja:
    35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015 (rok: 2015, ), Wydawca: Dagstuhl Research Online Publication Server
    Data:
    konferencja 16-18.12.2015
    Status:
    Opublikowane
  6. The Logical Strength of Büchi's Decidability Theorem
    Autorzy:
    Leszek Kołodziejczyk, Henryk Michalewski, Pierre Pradic, Michał Skrzypczak
    Konferencja:
    Computer Science Logic (rok: 2016, ), Wydawca: LIPIcs–Leibniz International Proceedings in Informatics
    Data:
    konferencja 29.09.2019
    Status:
    Opublikowane
  7. How unprovable is Rabin's decidability theorem?
    Autorzy:
    Leszek Kołodziejczyk, Henryk Michalewski
    Konferencja:
    Symposium on Logic in Computer Science (LICS) (rok: 2016, ), Wydawca: ACM
    Data:
    konferencja 05.07.2016
    Status:
    Opublikowane
  8. On the Complexity of Branching Games with Regular Conditions
    Autorzy:
    Marcin Przybyłko, Michał Skrzypczak
    Konferencja:
    41st International Symposium on Mathematical Foundations of Computer Science (MFCS) (rok: 2016, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 22.08.2016
    Status:
    Opublikowane
  9. On Determinisation of Good-for-Games Automata
    Autorzy:
    Denis Kuperberg, Michal Skrzypczak
    Konferencja:
    Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015 (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 06-10.07.2015
    Status:
    Opublikowane
  10. On Unambiguous Regular Tree Languages of Index (0, 2)
    Autorzy:
    Jacques Duparc, Kevin Fournier, Szczepan Hummel
    Konferencja:
    24th EACSL Annual Conference on Computer Science Logic, CSL 2015 (rok: 2015, ), Wydawca: Dagstuhl research online publication server
    Data:
    konferencja 7-10.09.2015
    Status:
    Opublikowane
  11. Unambiguous Buchi is weak
    Autorzy:
    Henryk Michalewski, Michał Skrzypczak
    Konferencja:
    Developments in Language Theory (rok: 2016, ), Wydawca: Springer-Verlag LNCS
    Data:
    konferencja 25.07.2016
    Status:
    Opublikowane