Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017759899> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2017759899 endingPage "396" @default.
- W2017759899 startingPage "385" @default.
- W2017759899 abstract "In this paper we considered two different fragments of μ-calculus, logics L 1 and L 2. We gave model checking algorithms for logics L 1 and L 2 which are of complexity O(m 2 n) where m is the length of the formula and n is the size of the structure. We have shown that the logic L 2 is as expressive as ECTL* given in [13]. In additions to these results, we have shown that the model checking problem for the μ-calculus is equivalent to the non-emptiness problem of parity tree automata. It will be interesting to investigate if there is a model checking algorithm for the logics L 1 and L 2 which is only of complexity O(mn) instead of O(m 2 n. Of course, determining if the model checking problem for the full μ-calculus is in P or not, is also an open problem." @default.
- W2017759899 created "2016-06-24" @default.
- W2017759899 creator A5022535511 @default.
- W2017759899 creator A5035821371 @default.
- W2017759899 creator A5048218857 @default.
- W2017759899 date "1993-01-01" @default.
- W2017759899 modified "2023-10-10" @default.
- W2017759899 title "On model-checking for fragments of μ-calculus" @default.
- W2017759899 cites W135426567 @default.
- W2017759899 cites W1493407222 @default.
- W2017759899 cites W2002128397 @default.
- W2017759899 cites W2015640848 @default.
- W2017759899 cites W2057260173 @default.
- W2017759899 cites W4243721161 @default.
- W2017759899 doi "https://doi.org/10.1007/3-540-56922-7_32" @default.
- W2017759899 hasPublicationYear "1993" @default.
- W2017759899 type Work @default.
- W2017759899 sameAs 2017759899 @default.
- W2017759899 citedByCount "178" @default.
- W2017759899 countsByYear W20177598992012 @default.
- W2017759899 countsByYear W20177598992013 @default.
- W2017759899 countsByYear W20177598992014 @default.
- W2017759899 countsByYear W20177598992015 @default.
- W2017759899 countsByYear W20177598992016 @default.
- W2017759899 countsByYear W20177598992017 @default.
- W2017759899 countsByYear W20177598992018 @default.
- W2017759899 countsByYear W20177598992019 @default.
- W2017759899 countsByYear W20177598992020 @default.
- W2017759899 countsByYear W20177598992021 @default.
- W2017759899 countsByYear W20177598992022 @default.
- W2017759899 countsByYear W20177598992023 @default.
- W2017759899 crossrefType "book-chapter" @default.
- W2017759899 hasAuthorship W2017759899A5022535511 @default.
- W2017759899 hasAuthorship W2017759899A5035821371 @default.
- W2017759899 hasAuthorship W2017759899A5048218857 @default.
- W2017759899 hasBestOaLocation W20177598991 @default.
- W2017759899 hasConcept C110251889 @default.
- W2017759899 hasConcept C112505250 @default.
- W2017759899 hasConcept C11413529 @default.
- W2017759899 hasConcept C118615104 @default.
- W2017759899 hasConcept C199343813 @default.
- W2017759899 hasConcept C2777686260 @default.
- W2017759899 hasConcept C33923547 @default.
- W2017759899 hasConcept C41008148 @default.
- W2017759899 hasConcept C71924100 @default.
- W2017759899 hasConcept C80444323 @default.
- W2017759899 hasConceptScore W2017759899C110251889 @default.
- W2017759899 hasConceptScore W2017759899C112505250 @default.
- W2017759899 hasConceptScore W2017759899C11413529 @default.
- W2017759899 hasConceptScore W2017759899C118615104 @default.
- W2017759899 hasConceptScore W2017759899C199343813 @default.
- W2017759899 hasConceptScore W2017759899C2777686260 @default.
- W2017759899 hasConceptScore W2017759899C33923547 @default.
- W2017759899 hasConceptScore W2017759899C41008148 @default.
- W2017759899 hasConceptScore W2017759899C71924100 @default.
- W2017759899 hasConceptScore W2017759899C80444323 @default.
- W2017759899 hasLocation W20177598991 @default.
- W2017759899 hasOpenAccess W2017759899 @default.
- W2017759899 hasPrimaryLocation W20177598991 @default.
- W2017759899 hasRelatedWork W174184838 @default.
- W2017759899 hasRelatedWork W1989746243 @default.
- W2017759899 hasRelatedWork W2044226583 @default.
- W2017759899 hasRelatedWork W2117618670 @default.
- W2017759899 hasRelatedWork W2150977952 @default.
- W2017759899 hasRelatedWork W2787596930 @default.
- W2017759899 hasRelatedWork W3015262272 @default.
- W2017759899 hasRelatedWork W2500461980 @default.
- W2017759899 hasRelatedWork W2585381885 @default.
- W2017759899 hasRelatedWork W2751931981 @default.
- W2017759899 isParatext "false" @default.
- W2017759899 isRetracted "false" @default.
- W2017759899 magId "2017759899" @default.
- W2017759899 workType "book-chapter" @default.