Title: The MSO+U Theory of (N, <) Is Undecidable
Authors: Mikołaj Bojańczyk, Paweł Parys, Szymon Toruńczyk
Journal: 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016
Publication type: conference
DOI: 10.4230/LIPIcs.STACS.2016.21