1 citations · 1 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Undecidability of a weak version of MSO+U
Mikołaj Bojańczyk, Laure Daviaud, Bruno Guillon +2
We prove the undecidability of MSO on -words extended with the second-order predicate which says that the distance between consecutive positions in a set $X \subseteq \…
cs.FL2018
Origin-equivalence of two-way word transducers is in PSPACE
Sougata Bose, Anca Muscholl, Vincent Penelle +1
We consider equivalence and containment problems for word transductions. These problems are known to be undecidable when the transductions are relations between words realized by n…