![]() | Up a level |
Bojanczyk, M., Daviaud, L. ORCID: 0000-0002-9220-7118, Guillon, B., Penelle, V. and Sreejith, A. V. (2020).
Undecidability of a weak version of MSO+U.
Logical Methods in Computer Science, 16(1),
12:1-12:15.
doi: 10.23638/LMCS-16(1:12)2020