Matches in SemOpenAlex for { <https://semopenalex.org/work/W1576467656> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1576467656 abstract "In [11] we defined Inf-Datalog and characterized the fragments of Monadic inf-Datalog that have the same expressive power as Modal Logic (resp. $CTL$, alternation-free Modal $mu$-calculus and Modal $mu$-calculus). We study here the time and space complexity of evaluation of Monadic inf-Datalog programs on finite models. We deduce a new unified proof that model checking has 1. linear data and program complexities (both in time and space) for $CTL$ and alternation-free Modal $mu$-calculus, and 2. linear-space (data and program) complexities, linear-time program complexity and polynomial-time data complexity for $Lmu_k$ (Modal $mu$-calculus with fixed alternation-depth at most $k$).}" @default.
- W1576467656 created "2016-06-24" @default.
- W1576467656 creator A5040345541 @default.
- W1576467656 creator A5090436270 @default.
- W1576467656 date "2003-01-01" @default.
- W1576467656 modified "2023-10-17" @default.
- W1576467656 title "Complexity of Monadic inf-datalog. Application to temporal logic." @default.
- W1576467656 cites W1587782590 @default.
- W1576467656 cites W1974672595 @default.
- W1576467656 cites W1991940824 @default.
- W1576467656 cites W1998551395 @default.
- W1576467656 cites W2117189826 @default.
- W1576467656 cites W2396555304 @default.
- W1576467656 cites W2570220284 @default.
- W1576467656 cites W42134522 @default.
- W1576467656 hasPublicationYear "2003" @default.
- W1576467656 type Work @default.
- W1576467656 sameAs 1576467656 @default.
- W1576467656 citedByCount "0" @default.
- W1576467656 crossrefType "proceedings-article" @default.
- W1576467656 hasAuthorship W1576467656A5040345541 @default.
- W1576467656 hasAuthorship W1576467656A5090436270 @default.
- W1576467656 hasBestOaLocation W15764676561 @default.
- W1576467656 hasConcept C102993220 @default.
- W1576467656 hasConcept C124656256 @default.
- W1576467656 hasConcept C148230440 @default.
- W1576467656 hasConcept C169896238 @default.
- W1576467656 hasConcept C199360897 @default.
- W1576467656 hasConcept C25016198 @default.
- W1576467656 hasConcept C41008148 @default.
- W1576467656 hasConcept C4777664 @default.
- W1576467656 hasConcept C80444323 @default.
- W1576467656 hasConceptScore W1576467656C102993220 @default.
- W1576467656 hasConceptScore W1576467656C124656256 @default.
- W1576467656 hasConceptScore W1576467656C148230440 @default.
- W1576467656 hasConceptScore W1576467656C169896238 @default.
- W1576467656 hasConceptScore W1576467656C199360897 @default.
- W1576467656 hasConceptScore W1576467656C25016198 @default.
- W1576467656 hasConceptScore W1576467656C41008148 @default.
- W1576467656 hasConceptScore W1576467656C4777664 @default.
- W1576467656 hasConceptScore W1576467656C80444323 @default.
- W1576467656 hasLocation W15764676561 @default.
- W1576467656 hasLocation W15764676562 @default.
- W1576467656 hasLocation W15764676563 @default.
- W1576467656 hasLocation W15764676564 @default.
- W1576467656 hasOpenAccess W1576467656 @default.
- W1576467656 hasPrimaryLocation W15764676561 @default.
- W1576467656 hasRelatedWork W1576467656 @default.
- W1576467656 hasRelatedWork W2180648729 @default.
- W1576467656 hasRelatedWork W2399297396 @default.
- W1576467656 hasRelatedWork W2600455691 @default.
- W1576467656 hasRelatedWork W2604528368 @default.
- W1576467656 hasRelatedWork W2779369300 @default.
- W1576467656 hasRelatedWork W2952486155 @default.
- W1576467656 hasRelatedWork W2963533448 @default.
- W1576467656 hasRelatedWork W4298085451 @default.
- W1576467656 hasRelatedWork W4384337870 @default.
- W1576467656 isParatext "false" @default.
- W1576467656 isRetracted "false" @default.
- W1576467656 magId "1576467656" @default.
- W1576467656 workType "article" @default.