Matches in SemOpenAlex for { <https://semopenalex.org/work/W3096734873> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3096734873 abstract "Seese's conjecture for finite graphs states that monadic second-order logic (MSO) is undecidable on all graph classes of unbounded clique-width. We show that to establish this it would suffice to show that grids of unbounded size can be interpreted in two families of graph classes: minimal hereditary classes of unbounded clique-width; and antichains of unbounded clique-width under the induced subgraph relation. We explore a number of known examples of the former category and establish that grids of unbounded size can indeed be interpreted in them." @default.
- W3096734873 created "2020-11-09" @default.
- W3096734873 creator A5080843415 @default.
- W3096734873 creator A5088160707 @default.
- W3096734873 date "2020-11-05" @default.
- W3096734873 modified "2023-09-27" @default.
- W3096734873 title "MSO Undecidability for some Hereditary Classes of Unbounded Clique-Width." @default.
- W3096734873 cites W1489366126 @default.
- W3096734873 cites W1993328543 @default.
- W3096734873 cites W1994887153 @default.
- W3096734873 cites W1999958048 @default.
- W3096734873 cites W2029001691 @default.
- W3096734873 cites W2038062006 @default.
- W3096734873 cites W2063951771 @default.
- W3096734873 cites W2067016370 @default.
- W3096734873 cites W2087911394 @default.
- W3096734873 cites W2126513401 @default.
- W3096734873 cites W2134871603 @default.
- W3096734873 cites W2153230366 @default.
- W3096734873 cites W2171747571 @default.
- W3096734873 cites W2530256347 @default.
- W3096734873 cites W2585972132 @default.
- W3096734873 cites W2799061192 @default.
- W3096734873 cites W52229496 @default.
- W3096734873 hasPublicationYear "2020" @default.
- W3096734873 type Work @default.
- W3096734873 sameAs 3096734873 @default.
- W3096734873 citedByCount "0" @default.
- W3096734873 crossrefType "posted-content" @default.
- W3096734873 hasAuthorship W3096734873A5080843415 @default.
- W3096734873 hasAuthorship W3096734873A5088160707 @default.
- W3096734873 hasConcept C114614502 @default.
- W3096734873 hasConcept C118615104 @default.
- W3096734873 hasConcept C132525143 @default.
- W3096734873 hasConcept C153269930 @default.
- W3096734873 hasConcept C192034797 @default.
- W3096734873 hasConcept C2777035058 @default.
- W3096734873 hasConcept C2780990831 @default.
- W3096734873 hasConcept C33923547 @default.
- W3096734873 hasConceptScore W3096734873C114614502 @default.
- W3096734873 hasConceptScore W3096734873C118615104 @default.
- W3096734873 hasConceptScore W3096734873C132525143 @default.
- W3096734873 hasConceptScore W3096734873C153269930 @default.
- W3096734873 hasConceptScore W3096734873C192034797 @default.
- W3096734873 hasConceptScore W3096734873C2777035058 @default.
- W3096734873 hasConceptScore W3096734873C2780990831 @default.
- W3096734873 hasConceptScore W3096734873C33923547 @default.
- W3096734873 hasLocation W30967348731 @default.
- W3096734873 hasOpenAccess W3096734873 @default.
- W3096734873 hasPrimaryLocation W30967348731 @default.
- W3096734873 hasRelatedWork W2046616287 @default.
- W3096734873 hasRelatedWork W2149284317 @default.
- W3096734873 hasRelatedWork W2171747571 @default.
- W3096734873 hasRelatedWork W2209918393 @default.
- W3096734873 hasRelatedWork W2530256347 @default.
- W3096734873 hasRelatedWork W2725455002 @default.
- W3096734873 hasRelatedWork W2762850984 @default.
- W3096734873 hasRelatedWork W2776353960 @default.
- W3096734873 hasRelatedWork W2796759310 @default.
- W3096734873 hasRelatedWork W2890330165 @default.
- W3096734873 hasRelatedWork W2905396358 @default.
- W3096734873 hasRelatedWork W2906870432 @default.
- W3096734873 hasRelatedWork W2947804903 @default.
- W3096734873 hasRelatedWork W2953105197 @default.
- W3096734873 hasRelatedWork W3002872960 @default.
- W3096734873 hasRelatedWork W3097846366 @default.
- W3096734873 hasRelatedWork W3148030178 @default.
- W3096734873 hasRelatedWork W3197139332 @default.
- W3096734873 hasRelatedWork W3212051020 @default.
- W3096734873 hasRelatedWork W90107675 @default.
- W3096734873 isParatext "false" @default.
- W3096734873 isRetracted "false" @default.
- W3096734873 magId "3096734873" @default.
- W3096734873 workType "article" @default.