TY  - RPRT
TI  - Undecidability of a weak version of MSO+U
AU  - Mikołaj Bojańczyk
AU  - Laure Daviaud
AU  - Bruno Guillon
AU  - Vincent Penelle
AU  - A. V. Sreejith
PY  - 2020
DO  - 10.23638/lmcs-16(1:12)2020
UR  - https://arxiv.org/abs/1807.08506
ID  - 1807.08506
ER  -