Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539385324> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1539385324 endingPage "562" @default.
- W1539385324 startingPage "552" @default.
- W1539385324 abstract "The propositional Μ-calculus as introduced by Kozen in [4] is considered. The notion of disjunctive formula is defined and it is shown that every formula is semantically equivalent to a disjunctive formula. For these formulas many difficulties encountered in the general case may be avoided. For instance, satisfiability checking is linear for disjunctive formulas. This kind of formula gives rise to a new notion of finite automaton which characterizes the expressive power of the Μ-calculus over all transition systems." @default.
- W1539385324 created "2016-06-24" @default.
- W1539385324 creator A5041128243 @default.
- W1539385324 creator A5064757019 @default.
- W1539385324 date "1995-01-01" @default.
- W1539385324 modified "2023-10-03" @default.
- W1539385324 title "Automata for the modal μ-calculus and related results" @default.
- W1539385324 cites W135426567 @default.
- W1539385324 cites W1584007654 @default.
- W1539385324 cites W1996207810 @default.
- W1539385324 cites W2015640848 @default.
- W1539385324 cites W2083398633 @default.
- W1539385324 cites W2142707270 @default.
- W1539385324 cites W2163151383 @default.
- W1539385324 cites W2170933628 @default.
- W1539385324 doi "https://doi.org/10.1007/3-540-60246-1_160" @default.
- W1539385324 hasPublicationYear "1995" @default.
- W1539385324 type Work @default.
- W1539385324 sameAs 1539385324 @default.
- W1539385324 citedByCount "128" @default.
- W1539385324 countsByYear W15393853242012 @default.
- W1539385324 countsByYear W15393853242013 @default.
- W1539385324 countsByYear W15393853242014 @default.
- W1539385324 countsByYear W15393853242015 @default.
- W1539385324 countsByYear W15393853242016 @default.
- W1539385324 countsByYear W15393853242017 @default.
- W1539385324 countsByYear W15393853242018 @default.
- W1539385324 countsByYear W15393853242019 @default.
- W1539385324 countsByYear W15393853242020 @default.
- W1539385324 countsByYear W15393853242021 @default.
- W1539385324 countsByYear W15393853242022 @default.
- W1539385324 countsByYear W15393853242023 @default.
- W1539385324 crossrefType "book-chapter" @default.
- W1539385324 hasAuthorship W1539385324A5041128243 @default.
- W1539385324 hasAuthorship W1539385324A5064757019 @default.
- W1539385324 hasConcept C112505250 @default.
- W1539385324 hasConcept C11413529 @default.
- W1539385324 hasConcept C185592680 @default.
- W1539385324 hasConcept C188027245 @default.
- W1539385324 hasConcept C199343813 @default.
- W1539385324 hasConcept C2777686260 @default.
- W1539385324 hasConcept C41008148 @default.
- W1539385324 hasConcept C71139939 @default.
- W1539385324 hasConcept C71924100 @default.
- W1539385324 hasConcept C80444323 @default.
- W1539385324 hasConceptScore W1539385324C112505250 @default.
- W1539385324 hasConceptScore W1539385324C11413529 @default.
- W1539385324 hasConceptScore W1539385324C185592680 @default.
- W1539385324 hasConceptScore W1539385324C188027245 @default.
- W1539385324 hasConceptScore W1539385324C199343813 @default.
- W1539385324 hasConceptScore W1539385324C2777686260 @default.
- W1539385324 hasConceptScore W1539385324C41008148 @default.
- W1539385324 hasConceptScore W1539385324C71139939 @default.
- W1539385324 hasConceptScore W1539385324C71924100 @default.
- W1539385324 hasConceptScore W1539385324C80444323 @default.
- W1539385324 hasLocation W15393853241 @default.
- W1539385324 hasOpenAccess W1539385324 @default.
- W1539385324 hasPrimaryLocation W15393853241 @default.
- W1539385324 hasRelatedWork W153904579 @default.
- W1539385324 hasRelatedWork W1584197856 @default.
- W1539385324 hasRelatedWork W1597765845 @default.
- W1539385324 hasRelatedWork W1844438491 @default.
- W1539385324 hasRelatedWork W1855675516 @default.
- W1539385324 hasRelatedWork W2330733397 @default.
- W1539385324 hasRelatedWork W2351491280 @default.
- W1539385324 hasRelatedWork W2368796975 @default.
- W1539385324 hasRelatedWork W303980170 @default.
- W1539385324 hasRelatedWork W2602338684 @default.
- W1539385324 isParatext "false" @default.
- W1539385324 isRetracted "false" @default.
- W1539385324 magId "1539385324" @default.
- W1539385324 workType "book-chapter" @default.