Matches in SemOpenAlex for { <https://semopenalex.org/work/W150109881> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W150109881 abstract "The modal graphs are effective graph forms for the predicate µ-calculus. The consistency between the predicate µ-calculus and the modal graphs is strictly established. Moreover, the relationship among the predicate µ-calculus, nested predicate equations and the modal graphs is discussed in detail. An optimized transformation algorithm from predicate µ-calculus formulae to nested predicate equations is presented." @default.
- W150109881 created "2016-06-24" @default.
- W150109881 creator A5004041037 @default.
- W150109881 creator A5022485210 @default.
- W150109881 date "2003-01-01" @default.
- W150109881 modified "2023-09-25" @default.
- W150109881 title "Consistency Between the Predicate µ-Calculus and Modal Graphs" @default.
- W150109881 cites W1490526406 @default.
- W150109881 cites W1567730556 @default.
- W150109881 cites W1795391326 @default.
- W150109881 cites W2011716301 @default.
- W150109881 cites W2106000595 @default.
- W150109881 cites W2153674866 @default.
- W150109881 cites W2169232561 @default.
- W150109881 cites W2756011084 @default.
- W150109881 hasPublicationYear "2003" @default.
- W150109881 type Work @default.
- W150109881 sameAs 150109881 @default.
- W150109881 citedByCount "0" @default.
- W150109881 crossrefType "journal-article" @default.
- W150109881 hasAuthorship W150109881A5004041037 @default.
- W150109881 hasAuthorship W150109881A5022485210 @default.
- W150109881 hasConcept C11413529 @default.
- W150109881 hasConcept C140146324 @default.
- W150109881 hasConcept C185592680 @default.
- W150109881 hasConcept C188027245 @default.
- W150109881 hasConcept C199343813 @default.
- W150109881 hasConcept C199360897 @default.
- W150109881 hasConcept C2777686260 @default.
- W150109881 hasConcept C33923547 @default.
- W150109881 hasConcept C41008148 @default.
- W150109881 hasConcept C71139939 @default.
- W150109881 hasConcept C71924100 @default.
- W150109881 hasConceptScore W150109881C11413529 @default.
- W150109881 hasConceptScore W150109881C140146324 @default.
- W150109881 hasConceptScore W150109881C185592680 @default.
- W150109881 hasConceptScore W150109881C188027245 @default.
- W150109881 hasConceptScore W150109881C199343813 @default.
- W150109881 hasConceptScore W150109881C199360897 @default.
- W150109881 hasConceptScore W150109881C2777686260 @default.
- W150109881 hasConceptScore W150109881C33923547 @default.
- W150109881 hasConceptScore W150109881C41008148 @default.
- W150109881 hasConceptScore W150109881C71139939 @default.
- W150109881 hasConceptScore W150109881C71924100 @default.
- W150109881 hasLocation W1501098811 @default.
- W150109881 hasOpenAccess W150109881 @default.
- W150109881 hasPrimaryLocation W1501098811 @default.
- W150109881 hasRelatedWork W1441612012 @default.
- W150109881 hasRelatedWork W1527526397 @default.
- W150109881 hasRelatedWork W1532044601 @default.
- W150109881 hasRelatedWork W2110490721 @default.
- W150109881 hasRelatedWork W2116809109 @default.
- W150109881 hasRelatedWork W2129495578 @default.
- W150109881 hasRelatedWork W2158806800 @default.
- W150109881 hasRelatedWork W2183571250 @default.
- W150109881 hasRelatedWork W2216181672 @default.
- W150109881 hasRelatedWork W2224844044 @default.
- W150109881 hasRelatedWork W2275097665 @default.
- W150109881 hasRelatedWork W2295030425 @default.
- W150109881 hasRelatedWork W2477755468 @default.
- W150109881 hasRelatedWork W2486229864 @default.
- W150109881 hasRelatedWork W2535950331 @default.
- W150109881 hasRelatedWork W2963620838 @default.
- W150109881 hasRelatedWork W2990466353 @default.
- W150109881 hasRelatedWork W3044947887 @default.
- W150109881 hasRelatedWork W34305035 @default.
- W150109881 hasRelatedWork W2741219721 @default.
- W150109881 isParatext "false" @default.
- W150109881 isRetracted "false" @default.
- W150109881 magId "150109881" @default.
- W150109881 workType "article" @default.