Change language

Wyszukiwarka projektów

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

2014/13/B/ST6/03595

Słowa kluczowe

Deskryptory

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

Panel

ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki »

Kierownik projektu (z jednostki realizującej)

prof. 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
Zakończenie projektu
2018-12-03
Planowany czas trwania projektu
46 miesięcy (z wniosku)
Status projektu
Projekt rozliczony

Zakupiona aparatura

  1. Komputer przenośny. Za kwotę 4 231 PLN
  2. Komputer przenośny. Za kwotę 6 000 PLN
  3. Komputery przenośne. Za kwotę 4 231 PLN
  4. Komputery stacjonarne wraz z monitorami i wyposażeniem. Za kwotę 21 000 PLN

Dane z raportu końcowego/rocznego

Publikacje w czasopismach (4)

  1. The logical strength of Buchi's decidability theorem

    Autorzy:
    Leszek Kołodziejczyk, Henryk Michalewski, Pierre Pradic, Michał Skrzypczak
    Czasopismo:
    Logical Methods in Computer Science (rok: 2019, tom: 15 (2), strony: 16:1-16:31), Wydawca: Logical Methods in Computer Science
    Status:
    Opublikowana
    DOI:
    10.23638/LMCS-15(2:16)2019 – link do publikacji

  2. Monadic Second Order Logic with Measure and Category Quantifiers

    Autorzy:
    Matteo Mio, Michał Skrzypczak, Henryk Michalewski
    Czasopismo:
    Logical Methods in Computer Science (rok: 2018, tom: 14(2), strony: 46051), Wydawca: CoRR
    Status:
    Opublikowana
    DOI:
    10.23638/LMCS-14(2:2)2018 – link do publikacji

  3. On the Strength of Unambiguous Tree Automata

    Autorzy:
    Henryk Michalewski, Michal Skrzypczak
    Czasopismo:
    International Journal of Foundations of Computer Science (rok: 2018, tom: 29(5), strony: 911–933), Wydawca: World Scientific Publishing Company
    Status:
    Opublikowana
    DOI:
    10.1142/S012905411842011X – link do publikacji

  4. Measure Properties of Regular Sets of Trees

    Autorzy:
    Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michał Skrzypczak
    Czasopismo:
    Information and Computation (rok: 2017, tom: 256, strony: 108-130), Wydawca: Elsevier
    Status:
    Opublikowana
    DOI:
    10.1016/j.ic.2017.04.012 – link do publikacji

Teksty w publikacjach pokonferencyjnych (12)

  1. Unambiguous Buchi is weak

    Autorzy:
    Henryk Michalewski, Michał Skrzypczak
    Konferencja:
    Developments in Language Theory (rok: 2016, strony: 319-331), Wydawca: Springer-Verlag LNCS
    Data:
    konferencja 25.07.2016
    Status:
    Opublikowana

  2. Recognisable Languages over Monads

    Autorzy:
    Mikołaj Bojańczyk
    Konferencja:
    Developments in Language Theory - 19th International Conference, DLT 2015 (rok: 2015, strony: 1--13), Wydawca: Springer
    Data:
    konferencja 27.30.2015
    Status:
    Opublikowana

  3. 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, strony: 534-548), Wydawca: Dagstuhl research online publication server
    Data:
    konferencja 7-10.09.2015
    Status:
    Opublikowana
    DOI:
    link do publikacji

  4. 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, strony: 78:1--78:14), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 22.08.2016
    Status:
    Opublikowana
    DOI:
    link do publikacji

  5. On Determinisation of Good-for-Games Automata

    Autorzy:
    Denis Kuperberg, Michal Skrzypczak
    Konferencja:
    Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015 (rok: 2015, strony: 299-310), Wydawca: Springer
    Data:
    konferencja 06-10.07.2015
    Status:
    Opublikowana
    DOI:
    link do publikacji

  6. A Dialectica-Like Interpretation of a Linear MSO on Infinite Words

    Autorzy:
    Pierre Pradic, Colin Riba
    Konferencja:
    Foundations of Software Science and Computation Structures (rok: 2019, strony: 470-487), Wydawca: ARCoSS
    Data:
    konferencja 6-11 kwietnia 2019
    Status:
    Opublikowana
    DOI:
    link do publikacji

  7. 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, strony: 489-502), Wydawca: Dagstuhl Research Online Publication Server
    Data:
    konferencja 16-18.12.2015
    Status:
    Opublikowana
    DOI:
    link do publikacji

  8. A Characterisation of Pi^0_2 Regular Tree Languages

    Autorzy:
    Filippo Cavallari, Henryk Michalewski, Michal Skrzypczak
    Konferencja:
    MFCS 2017 (rok: 2017, strony: 56:1-56:14), Wydawca: LIPIcs
    Data:
    konferencja 23 sierpnia 2017
    Status:
    Opublikowana
    DOI:
    link do publikacji

  9. How unprovable is Rabin's decidability theorem?

    Autorzy:
    Leszek Kołodziejczyk, Henryk Michalewski
    Konferencja:
    Symposium on Logic in Computer Science (LICS) (rok: 2016, strony: 788--797), Wydawca: ACM
    Data:
    konferencja 05.07.2016
    Status:
    Opublikowana
    DOI:
    link do publikacji

  10. Star Height via Games

    Autorzy:
    Mikołaj Bojańczyk
    Konferencja:
    30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015 (rok: 2015, strony: 214-219), Wydawca: IEEE Computer Society
    Data:
    konferencja 06.07.2015
    Status:
    Opublikowana

  11. Measure Quantifier in Monadic Second Order Logic

    Autorzy:
    Henryk Michalewski, Matteo Mio
    Konferencja:
    Logical Foundations of Computer Science - International Symposium, LFCS 2016 (rok: 2016, strony: 267-282), Wydawca: Springer
    Data:
    konferencja 4-7.01.2016
    Status:
    Opublikowana
    DOI:
    link do publikacji

  12. 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, strony: 36:1--36:16), Wydawca: LIPIcs–Leibniz International Proceedings in Informatics
    Data:
    konferencja 29,09
    Status:
    Opublikowana
    DOI:
    link do publikacji

« Nowe wyszukiwanie

Projekt graficzny i wykonanie: Jakub Piotrowski