Matches in SemOpenAlex for { <https://semopenalex.org/work/W2042795420> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2042795420 endingPage "71" @default.
- W2042795420 startingPage "55" @default.
- W2042795420 abstract "For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2, but not to Comp(Sigma1,Pi1) (compositions of formulas of level Sigma1 and Pi1). This contrasts with the class of all graphs, where Delta2=Comp(Sigma1,Pi1)." @default.
- W2042795420 created "2016-06-24" @default.
- W2042795420 creator A5031905327 @default.
- W2042795420 creator A5038012736 @default.
- W2042795420 date "2010-06-09" @default.
- W2042795420 modified "2023-10-01" @default.
- W2042795420 title "On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components" @default.
- W2042795420 cites W1570425181 @default.
- W2042795420 cites W2002722727 @default.
- W2042795420 cites W2007304763 @default.
- W2042795420 cites W2008440715 @default.
- W2042795420 cites W2015640848 @default.
- W2042795420 cites W2020504188 @default.
- W2042795420 cites W2029611280 @default.
- W2042795420 cites W2054167510 @default.
- W2042795420 cites W2057826895 @default.
- W2042795420 cites W2113800199 @default.
- W2042795420 cites W2116193330 @default.
- W2042795420 cites W2116277209 @default.
- W2042795420 cites W2126399192 @default.
- W2042795420 cites W2133853963 @default.
- W2042795420 cites W2142133061 @default.
- W2042795420 cites W2143346393 @default.
- W2042795420 cites W2158437920 @default.
- W2042795420 cites W2162583406 @default.
- W2042795420 cites W2168498451 @default.
- W2042795420 cites W2170933628 @default.
- W2042795420 cites W2401216365 @default.
- W2042795420 cites W2913459036 @default.
- W2042795420 cites W2913688336 @default.
- W2042795420 cites W42134522 @default.
- W2042795420 cites W129686139 @default.
- W2042795420 doi "https://doi.org/10.4204/eptcs.25.9" @default.
- W2042795420 hasPublicationYear "2010" @default.
- W2042795420 type Work @default.
- W2042795420 sameAs 2042795420 @default.
- W2042795420 citedByCount "1" @default.
- W2042795420 crossrefType "journal-article" @default.
- W2042795420 hasAuthorship W2042795420A5031905327 @default.
- W2042795420 hasAuthorship W2042795420A5038012736 @default.
- W2042795420 hasBestOaLocation W20427954201 @default.
- W2042795420 hasConcept C114614502 @default.
- W2042795420 hasConcept C118615104 @default.
- W2042795420 hasConcept C134306372 @default.
- W2042795420 hasConcept C154945302 @default.
- W2042795420 hasConcept C162324750 @default.
- W2042795420 hasConcept C188027245 @default.
- W2042795420 hasConcept C192562407 @default.
- W2042795420 hasConcept C199360897 @default.
- W2042795420 hasConcept C202444582 @default.
- W2042795420 hasConcept C2777212361 @default.
- W2042795420 hasConcept C31170391 @default.
- W2042795420 hasConcept C33923547 @default.
- W2042795420 hasConcept C34388435 @default.
- W2042795420 hasConcept C34447519 @default.
- W2042795420 hasConcept C41008148 @default.
- W2042795420 hasConcept C71139939 @default.
- W2042795420 hasConcept C97137487 @default.
- W2042795420 hasConceptScore W2042795420C114614502 @default.
- W2042795420 hasConceptScore W2042795420C118615104 @default.
- W2042795420 hasConceptScore W2042795420C134306372 @default.
- W2042795420 hasConceptScore W2042795420C154945302 @default.
- W2042795420 hasConceptScore W2042795420C162324750 @default.
- W2042795420 hasConceptScore W2042795420C188027245 @default.
- W2042795420 hasConceptScore W2042795420C192562407 @default.
- W2042795420 hasConceptScore W2042795420C199360897 @default.
- W2042795420 hasConceptScore W2042795420C202444582 @default.
- W2042795420 hasConceptScore W2042795420C2777212361 @default.
- W2042795420 hasConceptScore W2042795420C31170391 @default.
- W2042795420 hasConceptScore W2042795420C33923547 @default.
- W2042795420 hasConceptScore W2042795420C34388435 @default.
- W2042795420 hasConceptScore W2042795420C34447519 @default.
- W2042795420 hasConceptScore W2042795420C41008148 @default.
- W2042795420 hasConceptScore W2042795420C71139939 @default.
- W2042795420 hasConceptScore W2042795420C97137487 @default.
- W2042795420 hasLocation W20427954201 @default.
- W2042795420 hasLocation W20427954202 @default.
- W2042795420 hasLocation W20427954203 @default.
- W2042795420 hasOpenAccess W2042795420 @default.
- W2042795420 hasPrimaryLocation W20427954201 @default.
- W2042795420 hasRelatedWork W1967784590 @default.
- W2042795420 hasRelatedWork W1978042415 @default.
- W2042795420 hasRelatedWork W2018828049 @default.
- W2042795420 hasRelatedWork W2042726902 @default.
- W2042795420 hasRelatedWork W2044215988 @default.
- W2042795420 hasRelatedWork W2059086655 @default.
- W2042795420 hasRelatedWork W2136053165 @default.
- W2042795420 hasRelatedWork W2164501604 @default.
- W2042795420 hasRelatedWork W2327497304 @default.
- W2042795420 hasRelatedWork W2329128713 @default.
- W2042795420 hasVolume "25" @default.
- W2042795420 isParatext "false" @default.
- W2042795420 isRetracted "false" @default.
- W2042795420 magId "2042795420" @default.
- W2042795420 workType "article" @default.