Matches in SemOpenAlex for { <https://semopenalex.org/work/W136390149> ?p ?o ?g. }
- W136390149 endingPage "552" @default.
- W136390149 startingPage "531" @default.
- W136390149 abstract "We give a survey of the expressive power of various monadic logics on specific classes of finite labeled graphs, including words, trees, and pictures. Among the logics we consider, there are monadic secondorder logic and its existential fragment, the modal mu-calculus, and monadic least fixed-point logic. We focus on nesting-depth and quantifier alternation as a complexity measure of these logics." @default.
- W136390149 created "2016-06-24" @default.
- W136390149 creator A5019365566 @default.
- W136390149 creator A5052876059 @default.
- W136390149 date "2008-01-01" @default.
- W136390149 modified "2023-09-26" @default.
- W136390149 title "Expressive power of monadic logics on words, trees, pictures, and graphs." @default.
- W136390149 cites W119381390 @default.
- W136390149 cites W1487410479 @default.
- W136390149 cites W1492941334 @default.
- W136390149 cites W1536829117 @default.
- W136390149 cites W1557915280 @default.
- W136390149 cites W1560572178 @default.
- W136390149 cites W1604912139 @default.
- W136390149 cites W1786858813 @default.
- W136390149 cites W1816620374 @default.
- W136390149 cites W1881786745 @default.
- W136390149 cites W1983682288 @default.
- W136390149 cites W1984123476 @default.
- W136390149 cites W1984890936 @default.
- W136390149 cites W1985043061 @default.
- W136390149 cites W1990618979 @default.
- W136390149 cites W2012707656 @default.
- W136390149 cites W2013085432 @default.
- W136390149 cites W2030384547 @default.
- W136390149 cites W2031470081 @default.
- W136390149 cites W2035020702 @default.
- W136390149 cites W2039934838 @default.
- W136390149 cites W2054860648 @default.
- W136390149 cites W2066617111 @default.
- W136390149 cites W2073663206 @default.
- W136390149 cites W2092043492 @default.
- W136390149 cites W2113800199 @default.
- W136390149 cites W2116013377 @default.
- W136390149 cites W2126399192 @default.
- W136390149 cites W2129959868 @default.
- W136390149 cites W2131742729 @default.
- W136390149 cites W2145431543 @default.
- W136390149 cites W2168498451 @default.
- W136390149 cites W2394898374 @default.
- W136390149 cites W29372615 @default.
- W136390149 cites W3110192514 @default.
- W136390149 cites W3127113455 @default.
- W136390149 cites W1572677512 @default.
- W136390149 hasPublicationYear "2008" @default.
- W136390149 type Work @default.
- W136390149 sameAs 136390149 @default.
- W136390149 citedByCount "14" @default.
- W136390149 countsByYear W1363901492012 @default.
- W136390149 countsByYear W1363901492013 @default.
- W136390149 countsByYear W1363901492014 @default.
- W136390149 countsByYear W1363901492016 @default.
- W136390149 countsByYear W1363901492021 @default.
- W136390149 countsByYear W1363901492022 @default.
- W136390149 crossrefType "journal-article" @default.
- W136390149 hasAuthorship W136390149A5019365566 @default.
- W136390149 hasAuthorship W136390149A5052876059 @default.
- W136390149 hasConcept C102993220 @default.
- W136390149 hasConcept C11413529 @default.
- W136390149 hasConcept C118615104 @default.
- W136390149 hasConcept C120665830 @default.
- W136390149 hasConcept C121332964 @default.
- W136390149 hasConcept C124656256 @default.
- W136390149 hasConcept C154945302 @default.
- W136390149 hasConcept C169896238 @default.
- W136390149 hasConcept C179799912 @default.
- W136390149 hasConcept C185592680 @default.
- W136390149 hasConcept C188027245 @default.
- W136390149 hasConcept C192209626 @default.
- W136390149 hasConcept C195818886 @default.
- W136390149 hasConcept C197685441 @default.
- W136390149 hasConcept C27508121 @default.
- W136390149 hasConcept C2778523021 @default.
- W136390149 hasConcept C33923547 @default.
- W136390149 hasConcept C41008148 @default.
- W136390149 hasConcept C56049555 @default.
- W136390149 hasConcept C71139939 @default.
- W136390149 hasConcept C80444323 @default.
- W136390149 hasConceptScore W136390149C102993220 @default.
- W136390149 hasConceptScore W136390149C11413529 @default.
- W136390149 hasConceptScore W136390149C118615104 @default.
- W136390149 hasConceptScore W136390149C120665830 @default.
- W136390149 hasConceptScore W136390149C121332964 @default.
- W136390149 hasConceptScore W136390149C124656256 @default.
- W136390149 hasConceptScore W136390149C154945302 @default.
- W136390149 hasConceptScore W136390149C169896238 @default.
- W136390149 hasConceptScore W136390149C179799912 @default.
- W136390149 hasConceptScore W136390149C185592680 @default.
- W136390149 hasConceptScore W136390149C188027245 @default.
- W136390149 hasConceptScore W136390149C192209626 @default.
- W136390149 hasConceptScore W136390149C195818886 @default.
- W136390149 hasConceptScore W136390149C197685441 @default.
- W136390149 hasConceptScore W136390149C27508121 @default.
- W136390149 hasConceptScore W136390149C2778523021 @default.
- W136390149 hasConceptScore W136390149C33923547 @default.
- W136390149 hasConceptScore W136390149C41008148 @default.
- W136390149 hasConceptScore W136390149C56049555 @default.
- W136390149 hasConceptScore W136390149C71139939 @default.