FRINK Linked Data Fragments server

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

• W2962706960 endingPage "306" @default.
• W2962706960 startingPage "292" @default.
• W2962706960 abstract "The alternation hierarchy of least and greatest fixpoint operators in the μ-calculus is strict. However, the strictness of the hierarchy does not necessarily carry over when considering restricted classes of structures. For instance, over the class of infinite words the alternation-free fragment of the μ-calculus is already as expressive as the full logic. Our current understanding of when and why the μ-calculus alternation hierarchy is (and is not) strict is limited. This article makes progress in answering these questions by showing that the alternation hierarchy of the μ-calculus collapses to the alternation-free fragment over some classes of structures, including infinite nested words and finite graphs with feedback vertex sets of a bounded size. Common to these classes is that the connectivity between the components in a structure from such a class is restricted in the sense that the removal of certain vertices from the structure's graph decomposes it into graphs in which all paths are of finite length. The collapse results herein are obtained in an automata-theoretic setting. They subsume, generalize, and strengthen several prior results on the expressivity of the μ-calculus over restricted classes of structures." @default.
• W2962706960 created "2019-07-30" @default.
• W2962706960 creator A5007740136 @default.
• W2962706960 creator A5016636619 @default.
• W2962706960 creator A5087768042 @default.
• W2962706960 date "2014-12-01" @default.
• W2962706960 modified "2023-10-16" @default.
• W2962706960 title "The μ-calculus alternation hierarchy collapses over structures with restricted connectivity" @default.
• W2962706960 cites W1564580204 @default.
• W2962706960 cites W1996207810 @default.
• W2962706960 cites W1998551395 @default.
• W2962706960 cites W2007304763 @default.
• W2962706960 cites W2015640848 @default.
• W2962706960 cites W2020504188 @default.
• W2962706960 cites W2020617153 @default.
• W2962706960 cites W2029611280 @default.
• W2962706960 cites W2035927058 @default.
• W2962706960 cites W2059045337 @default.
• W2962706960 cites W2126399192 @default.
• W2962706960 cites W2131886132 @default.
• W2962706960 cites W2136839729 @default.
• W2962706960 cites W2168498451 @default.
• W2962706960 doi "https://doi.org/10.1016/j.tcs.2014.03.027" @default.
• W2962706960 hasPublicationYear "2014" @default.
• W2962706960 type Work @default.
• W2962706960 sameAs 2962706960 @default.
• W2962706960 citedByCount "7" @default.
• W2962706960 countsByYear W29627069602015 @default.
• W2962706960 countsByYear W29627069602016 @default.
• W2962706960 countsByYear W29627069602018 @default.
• W2962706960 countsByYear W29627069602021 @default.
• W2962706960 crossrefType "journal-article" @default.
• W2962706960 hasAuthorship W2962706960A5007740136 @default.
• W2962706960 hasAuthorship W2962706960A5016636619 @default.
• W2962706960 hasAuthorship W2962706960A5087768042 @default.
• W2962706960 hasBestOaLocation W29627069601 @default.
• W2962706960 hasConcept C11413529 @default.
• W2962706960 hasConcept C114614502 @default.
• W2962706960 hasConcept C118615104 @default.
• W2962706960 hasConcept C132525143 @default.
• W2962706960 hasConcept C134306372 @default.
• W2962706960 hasConcept C138885662 @default.
• W2962706960 hasConcept C154945302 @default.
• W2962706960 hasConcept C162324750 @default.
• W2962706960 hasConcept C176053320 @default.
• W2962706960 hasConcept C199343813 @default.
• W2962706960 hasConcept C22497172 @default.
• W2962706960 hasConcept C26826806 @default.
• W2962706960 hasConcept C2776235265 @default.
• W2962706960 hasConcept C2777212361 @default.
• W2962706960 hasConcept C2777686260 @default.
• W2962706960 hasConcept C31170391 @default.
• W2962706960 hasConcept C33923547 @default.
• W2962706960 hasConcept C34388435 @default.
• W2962706960 hasConcept C34447519 @default.
• W2962706960 hasConcept C41008148 @default.
• W2962706960 hasConcept C41895202 @default.
• W2962706960 hasConcept C42475967 @default.
• W2962706960 hasConcept C71924100 @default.
• W2962706960 hasConcept C80899671 @default.
• W2962706960 hasConcept C87345402 @default.
• W2962706960 hasConceptScore W2962706960C11413529 @default.
• W2962706960 hasConceptScore W2962706960C114614502 @default.
• W2962706960 hasConceptScore W2962706960C118615104 @default.
• W2962706960 hasConceptScore W2962706960C132525143 @default.
• W2962706960 hasConceptScore W2962706960C134306372 @default.
• W2962706960 hasConceptScore W2962706960C138885662 @default.
• W2962706960 hasConceptScore W2962706960C154945302 @default.
• W2962706960 hasConceptScore W2962706960C162324750 @default.
• W2962706960 hasConceptScore W2962706960C176053320 @default.
• W2962706960 hasConceptScore W2962706960C199343813 @default.
• W2962706960 hasConceptScore W2962706960C22497172 @default.
• W2962706960 hasConceptScore W2962706960C26826806 @default.
• W2962706960 hasConceptScore W2962706960C2776235265 @default.
• W2962706960 hasConceptScore W2962706960C2777212361 @default.
• W2962706960 hasConceptScore W2962706960C2777686260 @default.
• W2962706960 hasConceptScore W2962706960C31170391 @default.
• W2962706960 hasConceptScore W2962706960C33923547 @default.
• W2962706960 hasConceptScore W2962706960C34388435 @default.
• W2962706960 hasConceptScore W2962706960C34447519 @default.
• W2962706960 hasConceptScore W2962706960C41008148 @default.
• W2962706960 hasConceptScore W2962706960C41895202 @default.
• W2962706960 hasConceptScore W2962706960C42475967 @default.
• W2962706960 hasConceptScore W2962706960C71924100 @default.
• W2962706960 hasConceptScore W2962706960C80899671 @default.
• W2962706960 hasConceptScore W2962706960C87345402 @default.
• W2962706960 hasFunder F4320334627 @default.
• W2962706960 hasFunder F4320334678 @default.
• W2962706960 hasLocation W29627069601 @default.
• W2962706960 hasLocation W29627069602 @default.
• W2962706960 hasOpenAccess W2962706960 @default.
• W2962706960 hasPrimaryLocation W29627069601 @default.
• W2962706960 hasRelatedWork W1719252778 @default.
• W2962706960 hasRelatedWork W2008276241 @default.
• W2962706960 hasRelatedWork W2034217845 @default.
• W2962706960 hasRelatedWork W2052136967 @default.
• W2962706960 hasRelatedWork W2169820283 @default.
• W2962706960 hasRelatedWork W2374778222 @default.

• next