Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable.

Raphaël Berthon Emmanuel Filiot Shibashis Guha Bastien Maubert Aniello Murano Laureline Pinault Jean-François Raskin Sasha Rubin

Published in: CoRR (2019)

Keyphrases