FRINK Linked Data Fragments server

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

• W3104927320 abstract "Fix an integer h>=1. In the universe of coloured trees of height at most h, we prove that for any graph decision problem defined by an MSO formula with r quantifiers, there exists a set of kernels, each of size bounded by an elementary function of r and the number of colours. This yields two noteworthy consequences. Consider any graph class G having a one-dimensional MSO interpretation in the universe of coloured trees of height h (equivalently, G is a class of shrub-depth h). First, class G admits an MSO model checking algorithm whose runtime has an elementary dependence on the formula size. Second, on G the expressive powers of FO and MSO coincide (which extends a 2012 result of Elberfeld, Grohe, and Tantau)." @default.
• W3104927320 created "2020-11-23" @default.
• W3104927320 creator A5061236440 @default.
• W3104927320 creator A5090886391 @default.
• W3104927320 date "2015-04-01" @default.
• W3104927320 modified "2023-09-27" @default.
• W3104927320 title "Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences" @default.
• W3104927320 cites W119394587 @default.
• W3104927320 cites W1482193060 @default.
• W3104927320 cites W1556189547 @default.
• W3104927320 cites W1570425181 @default.
• W3104927320 cites W1623604111 @default.
• W3104927320 cites W1858819998 @default.
• W3104927320 cites W1988827593 @default.
• W3104927320 cites W1993328543 @default.
• W3104927320 cites W2028357390 @default.
• W3104927320 cites W2036648964 @default.
• W3104927320 cites W2052210031 @default.
• W3104927320 cites W2053991811 @default.
• W3104927320 cites W2059372025 @default.
• W3104927320 cites W2064796716 @default.
• W3104927320 cites W2066585576 @default.
• W3104927320 cites W2073663206 @default.
• W3104927320 cites W2142055019 @default.
• W3104927320 cites W2162583406 @default.
• W3104927320 cites W22683998 @default.
• W3104927320 cites W2596631569 @default.
• W3104927320 cites W2913688336 @default.
• W3104927320 cites W2952269226 @default.
• W3104927320 cites W2952406510 @default.
• W3104927320 cites W2963886128 @default.
• W3104927320 cites W3032071526 @default.
• W3104927320 cites W3098753775 @default.
• W3104927320 cites W2970754490 @default.
• W3104927320 doi "https://doi.org/10.2168/lmcs-11(1:19)2015" @default.
• W3104927320 hasPublicationYear "2015" @default.
• W3104927320 type Work @default.
• W3104927320 sameAs 3104927320 @default.
• W3104927320 citedByCount "6" @default.
• W3104927320 countsByYear W31049273202015 @default.
• W3104927320 countsByYear W31049273202016 @default.
• W3104927320 countsByYear W31049273202018 @default.
• W3104927320 countsByYear W31049273202019 @default.
• W3104927320 countsByYear W31049273202021 @default.
• W3104927320 countsByYear W31049273202023 @default.
• W3104927320 crossrefType "journal-article" @default.
• W3104927320 hasAuthorship W3104927320A5061236440 @default.
• W3104927320 hasAuthorship W3104927320A5090886391 @default.
• W3104927320 hasBestOaLocation W31049273201 @default.
• W3104927320 hasConcept C114614502 @default.
• W3104927320 hasConcept C118615104 @default.
• W3104927320 hasConcept C121332964 @default.
• W3104927320 hasConcept C132525143 @default.
• W3104927320 hasConcept C134306372 @default.
• W3104927320 hasConcept C14036430 @default.
• W3104927320 hasConcept C154945302 @default.
• W3104927320 hasConcept C177264268 @default.
• W3104927320 hasConcept C199360897 @default.
• W3104927320 hasConcept C2777212361 @default.
• W3104927320 hasConcept C33923547 @default.
• W3104927320 hasConcept C34388435 @default.
• W3104927320 hasConcept C41008148 @default.
• W3104927320 hasConcept C44870925 @default.
• W3104927320 hasConcept C527412718 @default.
• W3104927320 hasConcept C78458016 @default.
• W3104927320 hasConcept C84999194 @default.
• W3104927320 hasConcept C86803240 @default.
• W3104927320 hasConcept C97137487 @default.
• W3104927320 hasConceptScore W3104927320C114614502 @default.
• W3104927320 hasConceptScore W3104927320C118615104 @default.
• W3104927320 hasConceptScore W3104927320C121332964 @default.
• W3104927320 hasConceptScore W3104927320C132525143 @default.
• W3104927320 hasConceptScore W3104927320C134306372 @default.
• W3104927320 hasConceptScore W3104927320C14036430 @default.
• W3104927320 hasConceptScore W3104927320C154945302 @default.
• W3104927320 hasConceptScore W3104927320C177264268 @default.
• W3104927320 hasConceptScore W3104927320C199360897 @default.
• W3104927320 hasConceptScore W3104927320C2777212361 @default.
• W3104927320 hasConceptScore W3104927320C33923547 @default.
• W3104927320 hasConceptScore W3104927320C34388435 @default.
• W3104927320 hasConceptScore W3104927320C41008148 @default.
• W3104927320 hasConceptScore W3104927320C44870925 @default.
• W3104927320 hasConceptScore W3104927320C527412718 @default.
• W3104927320 hasConceptScore W3104927320C78458016 @default.
• W3104927320 hasConceptScore W3104927320C84999194 @default.
• W3104927320 hasConceptScore W3104927320C86803240 @default.
• W3104927320 hasConceptScore W3104927320C97137487 @default.
• W3104927320 hasLocation W31049273201 @default.
• W3104927320 hasLocation W31049273202 @default.
• W3104927320 hasLocation W31049273203 @default.
• W3104927320 hasLocation W31049273204 @default.
• W3104927320 hasLocation W31049273205 @default.
• W3104927320 hasOpenAccess W3104927320 @default.
• W3104927320 hasPrimaryLocation W31049273201 @default.
• W3104927320 hasRelatedWork W104379926 @default.
• W3104927320 hasRelatedWork W1968729595 @default.
• W3104927320 hasRelatedWork W1985880617 @default.
• W3104927320 hasRelatedWork W2378907459 @default.
• W3104927320 hasRelatedWork W2607245078 @default.
• W3104927320 hasRelatedWork W2913145454 @default.

• next