Matches in SemOpenAlex for { <https://semopenalex.org/work/W2058101812> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2058101812 abstract "Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph definitions also allow to specify graphs of exponential size using polynomial size descriptions. In many cases, this succinctness increases the computational complexity of decision problems. In this paper, the model-checking problem for the modal μ-calculus and (monadic) least fixpoint logic on hierarchically defined input graphs is investigated. In order to analyze the modal μ-calculus, parity games on hierarchically defined input graphs are investigated. Precise upper and lower complexity bounds are derived. A restriction on hierarchical graph definitions that leads to more efficient model-checking algorithms is presented." @default.
- W2058101812 created "2016-06-24" @default.
- W2058101812 creator A5005500210 @default.
- W2058101812 creator A5079767975 @default.
- W2058101812 date "2009-08-01" @default.
- W2058101812 modified "2023-09-25" @default.
- W2058101812 title "Fixpoint Logics over Hierarchical Structures" @default.
- W2058101812 cites W1489366126 @default.
- W2058101812 cites W1505081061 @default.
- W2058101812 cites W1557750304 @default.
- W2058101812 cites W1583334139 @default.
- W2058101812 cites W1597956802 @default.
- W2058101812 cites W1809956864 @default.
- W2058101812 cites W1973511353 @default.
- W2058101812 cites W1974206804 @default.
- W2058101812 cites W1988625381 @default.
- W2058101812 cites W2002644257 @default.
- W2058101812 cites W2011800734 @default.
- W2058101812 cites W2021380921 @default.
- W2058101812 cites W2022486658 @default.
- W2058101812 cites W2028357390 @default.
- W2058101812 cites W2031641275 @default.
- W2058101812 cites W2065251436 @default.
- W2058101812 cites W2076056225 @default.
- W2058101812 cites W2085467680 @default.
- W2058101812 cites W2088094394 @default.
- W2058101812 cites W2133853963 @default.
- W2058101812 cites W2142133061 @default.
- W2058101812 cites W2148149459 @default.
- W2058101812 cites W2172088563 @default.
- W2058101812 cites W2502103274 @default.
- W2058101812 cites W3022006420 @default.
- W2058101812 cites W4241108585 @default.
- W2058101812 doi "https://doi.org/10.1007/s00224-009-9227-1" @default.
- W2058101812 hasPublicationYear "2009" @default.
- W2058101812 type Work @default.
- W2058101812 sameAs 2058101812 @default.
- W2058101812 citedByCount "3" @default.
- W2058101812 countsByYear W20581018122012 @default.
- W2058101812 countsByYear W20581018122013 @default.
- W2058101812 countsByYear W20581018122015 @default.
- W2058101812 crossrefType "journal-article" @default.
- W2058101812 hasAuthorship W2058101812A5005500210 @default.
- W2058101812 hasAuthorship W2058101812A5079767975 @default.
- W2058101812 hasBestOaLocation W20581018122 @default.
- W2058101812 hasConcept C101468663 @default.
- W2058101812 hasConcept C118615104 @default.
- W2058101812 hasConcept C132525143 @default.
- W2058101812 hasConcept C185592680 @default.
- W2058101812 hasConcept C188027245 @default.
- W2058101812 hasConcept C199360897 @default.
- W2058101812 hasConcept C2776493592 @default.
- W2058101812 hasConcept C33923547 @default.
- W2058101812 hasConcept C41008148 @default.
- W2058101812 hasConcept C71139939 @default.
- W2058101812 hasConcept C80444323 @default.
- W2058101812 hasConceptScore W2058101812C101468663 @default.
- W2058101812 hasConceptScore W2058101812C118615104 @default.
- W2058101812 hasConceptScore W2058101812C132525143 @default.
- W2058101812 hasConceptScore W2058101812C185592680 @default.
- W2058101812 hasConceptScore W2058101812C188027245 @default.
- W2058101812 hasConceptScore W2058101812C199360897 @default.
- W2058101812 hasConceptScore W2058101812C2776493592 @default.
- W2058101812 hasConceptScore W2058101812C33923547 @default.
- W2058101812 hasConceptScore W2058101812C41008148 @default.
- W2058101812 hasConceptScore W2058101812C71139939 @default.
- W2058101812 hasConceptScore W2058101812C80444323 @default.
- W2058101812 hasLocation W20581018121 @default.
- W2058101812 hasLocation W20581018122 @default.
- W2058101812 hasOpenAccess W2058101812 @default.
- W2058101812 hasPrimaryLocation W20581018121 @default.
- W2058101812 hasRelatedWork W139925549 @default.
- W2058101812 hasRelatedWork W1480021666 @default.
- W2058101812 hasRelatedWork W1495721513 @default.
- W2058101812 hasRelatedWork W1498197486 @default.
- W2058101812 hasRelatedWork W1505637127 @default.
- W2058101812 hasRelatedWork W1536165549 @default.
- W2058101812 hasRelatedWork W1538885993 @default.
- W2058101812 hasRelatedWork W1544084548 @default.
- W2058101812 hasRelatedWork W1555297210 @default.
- W2058101812 hasRelatedWork W1571367965 @default.
- W2058101812 hasRelatedWork W1572526110 @default.
- W2058101812 hasRelatedWork W1583718937 @default.
- W2058101812 hasRelatedWork W1989109065 @default.
- W2058101812 hasRelatedWork W2031211176 @default.
- W2058101812 hasRelatedWork W2033071128 @default.
- W2058101812 hasRelatedWork W2041295283 @default.
- W2058101812 hasRelatedWork W2962736508 @default.
- W2058101812 hasRelatedWork W2963886128 @default.
- W2058101812 hasRelatedWork W3104116428 @default.
- W2058101812 hasRelatedWork W630524842 @default.
- W2058101812 isParatext "false" @default.
- W2058101812 isRetracted "false" @default.
- W2058101812 magId "2058101812" @default.
- W2058101812 workType "article" @default.