Undecidability of MSO+U

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, C. Pandu Rangan, Bernhard Steffen, Demetri Terzopoulos, Doug Tygar, Gerhard Weikum, Michał Skrzypczak

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Fingerprint

Dive into the research topics of 'Undecidability of MSO+U'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science