@article{DBLP:journals/corr/abs-1901-04349,
  author       = {Rapha{\"{e}}l Berthon and
                  Emmanuel Filiot and
                  Shibashis Guha and
                  Bastien Maubert and
                  Aniello Murano and
                  Laureline Pinault and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Sasha Rubin},
  title        = {Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable},
  journal      = {CoRR},
  volume       = {abs/1901.04349},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.04349},
  eprinttype    = {arXiv},
  eprint       = {1901.04349},
  timestamp    = {Fri, 01 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-04349.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"z5d6TioXGN8icHHMK","bibbaseid":"berthon-filiot-guha-maubert-murano-pinault-raskin-rubin-monadicsecondorderlogicwithpathmeasurequantifierisundecidable-2019","author_short":["Berthon, R.","Filiot, E.","Guha, S.","Maubert, B.","Murano, A.","Pinault, L.","Raskin, J.","Rubin, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Raphaël"],"propositions":[],"lastnames":["Berthon"],"suffixes":[]},{"firstnames":["Emmanuel"],"propositions":[],"lastnames":["Filiot"],"suffixes":[]},{"firstnames":["Shibashis"],"propositions":[],"lastnames":["Guha"],"suffixes":[]},{"firstnames":["Bastien"],"propositions":[],"lastnames":["Maubert"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Laureline"],"propositions":[],"lastnames":["Pinault"],"suffixes":[]},{"firstnames":["Jean-François"],"propositions":[],"lastnames":["Raskin"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]}],"title":"Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable","journal":"CoRR","volume":"abs/1901.04349","year":"2019","url":"http://arxiv.org/abs/1901.04349","eprinttype":"arXiv","eprint":"1901.04349","timestamp":"Fri, 01 Feb 2019 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-1901-04349.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1901-04349,\n author = {Rapha{\\\"{e}}l Berthon and\n Emmanuel Filiot and\n Shibashis Guha and\n Bastien Maubert and\n Aniello Murano and\n Laureline Pinault and\n Jean{-}Fran{\\c{c}}ois Raskin and\n Sasha Rubin},\n title = {Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable},\n journal = {CoRR},\n volume = {abs/1901.04349},\n year = {2019},\n url = {http://arxiv.org/abs/1901.04349},\n eprinttype = {arXiv},\n eprint = {1901.04349},\n timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-1901-04349.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Berthon, R.","Filiot, E.","Guha, S.","Maubert, B.","Murano, A.","Pinault, L.","Raskin, J.","Rubin, S."],"key":"DBLP:journals/corr/abs-1901-04349","id":"DBLP:journals/corr/abs-1901-04349","bibbaseid":"berthon-filiot-guha-maubert-murano-pinault-raskin-rubin-monadicsecondorderlogicwithpathmeasurequantifierisundecidable-2019","role":"author","urls":{"Paper":"http://arxiv.org/abs/1901.04349"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"],"keywords":[],"search_terms":["monadic","second","order","logic","path","measure","quantifier","undecidable","berthon","filiot","guha","maubert","murano","pinault","raskin","rubin"],"title":"Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable","year":2019}