TY  - RPRT
TI  - Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable
AU  - Raphaël Berthon
AU  - Emmanuel Filiot
AU  - Shibashis Guha
AU  - Bastien Maubert
AU  - Aniello Murano
AU  - Laureline Pinault
AU  - Jean-François Raskin
AU  - Sasha Rubin
PY  - 2019
UR  - https://arxiv.org/abs/1901.04349
ID  - 1901.04349
ER  -