FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1166132007> ?p ?o ?g. }

• W1166132007 abstract "One of the most famous algorithmic meta-theorems states that every graph property that can be defined by a sentence in counting monadic second order logic (CMSOL) can be checked in linear time for graphs of bounded treewidth, which is known as Courcelle’s Theorem [9]. These algorithms are constructed as finite state tree automata, and hence every CMSOL-definable graph property is recognizable. Courcelle also conjectured that the converse holds, i.e. every recognizable graph property is definable in CMSOL for graphs of bounded treewidth. We give two types of self-contained proofs of this conjec- ture for a number of special cases. First, we show that it holds in a stronger form, that is, we prove that recognizability implies MSOL-definability (the counting operation of CMSOL is not needed) for Halin graphs, 3-connected or bounded degree k-outerplanar graphs and some related graph classes. Second, we show that recognizability implies CMSOL-definability for general k-outerplanar graphs." @default.
• W1166132007 created "2016-06-24" @default.
• W1166132007 creator A5039626432 @default.
• W1166132007 date "2015-07-21" @default.
• W1166132007 modified "2023-09-27" @default.
• W1166132007 title "Recognizability Equals Definability for k-Outerplanar Graphs" @default.
• W1166132007 cites W1492169292 @default.
• W1166132007 cites W1504925519 @default.
• W1166132007 cites W1605019912 @default.
• W1166132007 cites W1623604111 @default.
• W1166132007 cites W1804454173 @default.
• W1166132007 cites W1816620374 @default.
• W1166132007 cites W1969474097 @default.
• W1166132007 cites W1976364198 @default.
• W1166132007 cites W1980992394 @default.
• W1166132007 cites W1981539143 @default.
• W1166132007 cites W1983860528 @default.
• W1166132007 cites W1996895044 @default.
• W1166132007 cites W2002722727 @default.
• W1166132007 cites W2003843306 @default.
• W1166132007 cites W2008440715 @default.
• W1166132007 cites W2010142885 @default.
• W1166132007 cites W2036648964 @default.
• W1166132007 cites W2059287145 @default.
• W1166132007 cites W2064796716 @default.
• W1166132007 cites W2066867008 @default.
• W1166132007 cites W2071321409 @default.
• W1166132007 cites W2087083200 @default.
• W1166132007 cites W2088432971 @default.
• W1166132007 cites W2116087731 @default.
• W1166132007 cites W2131742729 @default.
• W1166132007 cites W2179584097 @default.
• W1166132007 cites W2798588639 @default.
• W1166132007 cites W2913344232 @default.
• W1166132007 cites W3099042911 @default.
• W1166132007 hasPublicationYear "2015" @default.
• W1166132007 type Work @default.
• W1166132007 sameAs 1166132007 @default.
• W1166132007 citedByCount "0" @default.
• W1166132007 crossrefType "dissertation" @default.
• W1166132007 hasAuthorship W1166132007A5039626432 @default.
• W1166132007 hasConcept C102192266 @default.
• W1166132007 hasConcept C114614502 @default.
• W1166132007 hasConcept C118615104 @default.
• W1166132007 hasConcept C125792925 @default.
• W1166132007 hasConcept C128764233 @default.
• W1166132007 hasConcept C132525143 @default.
• W1166132007 hasConcept C132569581 @default.
• W1166132007 hasConcept C134306372 @default.
• W1166132007 hasConcept C160446614 @default.
• W1166132007 hasConcept C203776342 @default.
• W1166132007 hasConcept C22149727 @default.
• W1166132007 hasConcept C33923547 @default.
• W1166132007 hasConcept C34388435 @default.
• W1166132007 hasConcept C43517604 @default.
• W1166132007 hasConcept C64339825 @default.
• W1166132007 hasConcept C69284658 @default.
• W1166132007 hasConcept C74133993 @default.
• W1166132007 hasConceptScore W1166132007C102192266 @default.
• W1166132007 hasConceptScore W1166132007C114614502 @default.
• W1166132007 hasConceptScore W1166132007C118615104 @default.
• W1166132007 hasConceptScore W1166132007C125792925 @default.
• W1166132007 hasConceptScore W1166132007C128764233 @default.
• W1166132007 hasConceptScore W1166132007C132525143 @default.
• W1166132007 hasConceptScore W1166132007C132569581 @default.
• W1166132007 hasConceptScore W1166132007C134306372 @default.
• W1166132007 hasConceptScore W1166132007C160446614 @default.
• W1166132007 hasConceptScore W1166132007C203776342 @default.
• W1166132007 hasConceptScore W1166132007C22149727 @default.
• W1166132007 hasConceptScore W1166132007C33923547 @default.
• W1166132007 hasConceptScore W1166132007C34388435 @default.
• W1166132007 hasConceptScore W1166132007C43517604 @default.
• W1166132007 hasConceptScore W1166132007C64339825 @default.
• W1166132007 hasConceptScore W1166132007C69284658 @default.
• W1166132007 hasConceptScore W1166132007C74133993 @default.
• W1166132007 hasLocation W11661320071 @default.
• W1166132007 hasOpenAccess W1166132007 @default.
• W1166132007 hasPrimaryLocation W11661320071 @default.
• W1166132007 hasRelatedWork W1480506611 @default.
• W1166132007 hasRelatedWork W1506761696 @default.
• W1166132007 hasRelatedWork W1530890850 @default.
• W1166132007 hasRelatedWork W1580758018 @default.
• W1166132007 hasRelatedWork W1976253916 @default.
• W1166132007 hasRelatedWork W1981539143 @default.
• W1166132007 hasRelatedWork W2024122625 @default.
• W1166132007 hasRelatedWork W2049196128 @default.
• W1166132007 hasRelatedWork W2094403718 @default.
• W1166132007 hasRelatedWork W2139148854 @default.
• W1166132007 hasRelatedWork W2151068277 @default.
• W1166132007 hasRelatedWork W2167914060 @default.
• W1166132007 hasRelatedWork W2179584097 @default.
• W1166132007 hasRelatedWork W2275184243 @default.
• W1166132007 hasRelatedWork W2480434104 @default.
• W1166132007 hasRelatedWork W2520797183 @default.
• W1166132007 hasRelatedWork W2962996851 @default.
• W1166132007 hasRelatedWork W3080146343 @default.
• W1166132007 hasRelatedWork W47148820 @default.
• W1166132007 hasRelatedWork W2154125476 @default.
• W1166132007 isParatext "false" @default.
• W1166132007 isRetracted "false" @default.

• next