@inproceedings{8785892,
    Author = {{Boja{\'n}czyk}, M. and {Kelmendi}, E. and {Skrzypczak}, M.},
    BookTitle = {2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
    File = {1901.06900 (0) - a - a - v.pdf},
    Keywords = {Probabilistic logic;Binary trees;Automata;Markov processes;Complexity theory;Model checking;Labeling},
    Month = {June},
    Pages = {1-13},
    Title = {MSO+{$\nabla$} is undecidable},
    Year = {2019},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2019.8785892},
    date-added = {2019-08-11 11:06:09 +0200},
    date-modified = {2019-08-11 11:06:09 +0200},
    doi = {10.1109/LICS.2019.8785892}
}

@inproceedings{8785892, Author = {{Boja{\'n}czyk}, M. and {Kelmendi}, E. and {Skrzypczak}, M.}, BookTitle = {2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, File = {1901.06900 (0) - a - a - v.pdf}, Keywords = {Probabilistic logic;Binary trees;Automata;Markov processes;Complexity theory;Model checking;Labeling}, Month = {June}, Pages = {1-13}, Title = {MSO+{$\nabla$} is undecidable}, Year = {2019}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2019.8785892}, date-added = {2019-08-11 11:06:09 +0200}, date-modified = {2019-08-11 11:06:09 +0200}, doi = {10.1109/LICS.2019.8785892} }