Matches in SemOpenAlex for { <https://semopenalex.org/work/W1975426586> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1975426586 abstract "A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the recognized language can be defined by a formula in L. The logics L considered include path testable languages, frontier testable languages, fragments of Core XPath, and fragments of monadic second-order logic." @default.
- W1975426586 created "2016-06-24" @default.
- W1975426586 creator A5019834752 @default.
- W1975426586 date "2008-06-09" @default.
- W1975426586 modified "2023-09-26" @default.
- W1975426586 title "Effective characterizations of tree logics" @default.
- W1975426586 cites W1494501847 @default.
- W1975426586 cites W1515534319 @default.
- W1975426586 cites W1517150411 @default.
- W1975426586 cites W1528847705 @default.
- W1975426586 cites W1971672075 @default.
- W1975426586 cites W1980692207 @default.
- W1975426586 cites W1983682288 @default.
- W1975426586 cites W2013085432 @default.
- W1975426586 cites W2059287145 @default.
- W1975426586 cites W2089108410 @default.
- W1975426586 cites W2099655889 @default.
- W1975426586 cites W2105140228 @default.
- W1975426586 cites W2113885315 @default.
- W1975426586 cites W2116250539 @default.
- W1975426586 cites W2294034341 @default.
- W1975426586 cites W4205178514 @default.
- W1975426586 doi "https://doi.org/10.1145/1376916.1376925" @default.
- W1975426586 hasPublicationYear "2008" @default.
- W1975426586 type Work @default.
- W1975426586 sameAs 1975426586 @default.
- W1975426586 citedByCount "7" @default.
- W1975426586 countsByYear W19754265862014 @default.
- W1975426586 countsByYear W19754265862015 @default.
- W1975426586 countsByYear W19754265862016 @default.
- W1975426586 countsByYear W19754265862018 @default.
- W1975426586 crossrefType "proceedings-article" @default.
- W1975426586 hasAuthorship W1975426586A5019834752 @default.
- W1975426586 hasConcept C102993220 @default.
- W1975426586 hasConcept C111919701 @default.
- W1975426586 hasConcept C112505250 @default.
- W1975426586 hasConcept C113174947 @default.
- W1975426586 hasConcept C11413529 @default.
- W1975426586 hasConcept C114614502 @default.
- W1975426586 hasConcept C118615104 @default.
- W1975426586 hasConcept C171250308 @default.
- W1975426586 hasConcept C192562407 @default.
- W1975426586 hasConcept C198008173 @default.
- W1975426586 hasConcept C199360897 @default.
- W1975426586 hasConcept C2777735758 @default.
- W1975426586 hasConcept C2778583254 @default.
- W1975426586 hasConcept C2780213375 @default.
- W1975426586 hasConcept C2780841128 @default.
- W1975426586 hasConcept C33923547 @default.
- W1975426586 hasConcept C41008148 @default.
- W1975426586 hasConcept C4777664 @default.
- W1975426586 hasConcept C55348073 @default.
- W1975426586 hasConcept C80444323 @default.
- W1975426586 hasConcept C8797682 @default.
- W1975426586 hasConceptScore W1975426586C102993220 @default.
- W1975426586 hasConceptScore W1975426586C111919701 @default.
- W1975426586 hasConceptScore W1975426586C112505250 @default.
- W1975426586 hasConceptScore W1975426586C113174947 @default.
- W1975426586 hasConceptScore W1975426586C11413529 @default.
- W1975426586 hasConceptScore W1975426586C114614502 @default.
- W1975426586 hasConceptScore W1975426586C118615104 @default.
- W1975426586 hasConceptScore W1975426586C171250308 @default.
- W1975426586 hasConceptScore W1975426586C192562407 @default.
- W1975426586 hasConceptScore W1975426586C198008173 @default.
- W1975426586 hasConceptScore W1975426586C199360897 @default.
- W1975426586 hasConceptScore W1975426586C2777735758 @default.
- W1975426586 hasConceptScore W1975426586C2778583254 @default.
- W1975426586 hasConceptScore W1975426586C2780213375 @default.
- W1975426586 hasConceptScore W1975426586C2780841128 @default.
- W1975426586 hasConceptScore W1975426586C33923547 @default.
- W1975426586 hasConceptScore W1975426586C41008148 @default.
- W1975426586 hasConceptScore W1975426586C4777664 @default.
- W1975426586 hasConceptScore W1975426586C55348073 @default.
- W1975426586 hasConceptScore W1975426586C80444323 @default.
- W1975426586 hasConceptScore W1975426586C8797682 @default.
- W1975426586 hasLocation W19754265861 @default.
- W1975426586 hasOpenAccess W1975426586 @default.
- W1975426586 hasPrimaryLocation W19754265861 @default.
- W1975426586 hasRelatedWork W140214610 @default.
- W1975426586 hasRelatedWork W1582302366 @default.
- W1975426586 hasRelatedWork W1626184434 @default.
- W1975426586 hasRelatedWork W1758011472 @default.
- W1975426586 hasRelatedWork W20126484 @default.
- W1975426586 hasRelatedWork W2024091458 @default.
- W1975426586 hasRelatedWork W2052395110 @default.
- W1975426586 hasRelatedWork W2122253589 @default.
- W1975426586 hasRelatedWork W2915573831 @default.
- W1975426586 hasRelatedWork W2484254769 @default.
- W1975426586 isParatext "false" @default.
- W1975426586 isRetracted "false" @default.
- W1975426586 magId "1975426586" @default.
- W1975426586 workType "article" @default.