First Page | Document Content | |
---|---|---|
Date: 2015-06-17 12:07:41 | On the Parameterised Intractability of Monadic Second-Order Logic Stephan Kreutzer ⋆ Oxford University Computing Laboratory, Abstract. One of Courcelle’s celebrated results states that if CAdd to Reading ListSource URL: logic.las.tu-berlin.deDownload Document from Source WebsiteFile Size: 204,93 KBShare Document on Facebook |