Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156647413> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2156647413 abstract "A data tree is a finite tree whose every node carries a label from a finite alphabet and a datum from some infinite domain. We introduce a new model of automata over unranked data trees with a decidable emptiness problem. It is essentially a bottom-up alternating automaton with one register that can store one data value and can be used to perform equality tests with the data values occurring within the subtree of the current node. We show that it captures the expressive power of the vertical fragment of XPath - containing the child, descendant, parent and ancestor axes - obtaining thus a decision procedure for its satisfiability problem." @default.
- W2156647413 created "2016-06-24" @default.
- W2156647413 creator A5002674443 @default.
- W2156647413 creator A5042411667 @default.
- W2156647413 date "2017-10-24" @default.
- W2156647413 modified "2023-09-27" @default.
- W2156647413 title "Bottom-up automata on data trees and vertical XPath" @default.
- W2156647413 cites W1540516609 @default.
- W2156647413 cites W1575080936 @default.
- W2156647413 cites W1967174286 @default.
- W2156647413 cites W1978299898 @default.
- W2156647413 cites W2087219556 @default.
- W2156647413 cites W2112167310 @default.
- W2156647413 cites W2167738204 @default.
- W2156647413 cites W2316437449 @default.
- W2156647413 cites W2611888112 @default.
- W2156647413 cites W2899519452 @default.
- W2156647413 hasPublicationYear "2017" @default.
- W2156647413 type Work @default.
- W2156647413 sameAs 2156647413 @default.
- W2156647413 citedByCount "0" @default.
- W2156647413 crossrefType "posted-content" @default.
- W2156647413 hasAuthorship W2156647413A5002674443 @default.
- W2156647413 hasAuthorship W2156647413A5042411667 @default.
- W2156647413 hasConcept C111919701 @default.
- W2156647413 hasConcept C112505250 @default.
- W2156647413 hasConcept C113174947 @default.
- W2156647413 hasConcept C11413529 @default.
- W2156647413 hasConcept C114614502 @default.
- W2156647413 hasConcept C118615104 @default.
- W2156647413 hasConcept C127413603 @default.
- W2156647413 hasConcept C153269930 @default.
- W2156647413 hasConcept C168773769 @default.
- W2156647413 hasConcept C2778583254 @default.
- W2156647413 hasConcept C2780213375 @default.
- W2156647413 hasConcept C33923547 @default.
- W2156647413 hasConcept C41008148 @default.
- W2156647413 hasConcept C55348073 @default.
- W2156647413 hasConcept C62611344 @default.
- W2156647413 hasConcept C66938386 @default.
- W2156647413 hasConcept C6943359 @default.
- W2156647413 hasConcept C80444323 @default.
- W2156647413 hasConcept C8797682 @default.
- W2156647413 hasConceptScore W2156647413C111919701 @default.
- W2156647413 hasConceptScore W2156647413C112505250 @default.
- W2156647413 hasConceptScore W2156647413C113174947 @default.
- W2156647413 hasConceptScore W2156647413C11413529 @default.
- W2156647413 hasConceptScore W2156647413C114614502 @default.
- W2156647413 hasConceptScore W2156647413C118615104 @default.
- W2156647413 hasConceptScore W2156647413C127413603 @default.
- W2156647413 hasConceptScore W2156647413C153269930 @default.
- W2156647413 hasConceptScore W2156647413C168773769 @default.
- W2156647413 hasConceptScore W2156647413C2778583254 @default.
- W2156647413 hasConceptScore W2156647413C2780213375 @default.
- W2156647413 hasConceptScore W2156647413C33923547 @default.
- W2156647413 hasConceptScore W2156647413C41008148 @default.
- W2156647413 hasConceptScore W2156647413C55348073 @default.
- W2156647413 hasConceptScore W2156647413C62611344 @default.
- W2156647413 hasConceptScore W2156647413C66938386 @default.
- W2156647413 hasConceptScore W2156647413C6943359 @default.
- W2156647413 hasConceptScore W2156647413C80444323 @default.
- W2156647413 hasConceptScore W2156647413C8797682 @default.
- W2156647413 hasLocation W21566474131 @default.
- W2156647413 hasOpenAccess W2156647413 @default.
- W2156647413 hasPrimaryLocation W21566474131 @default.
- W2156647413 hasRelatedWork W117834157 @default.
- W2156647413 hasRelatedWork W1485480035 @default.
- W2156647413 hasRelatedWork W1501016187 @default.
- W2156647413 hasRelatedWork W1573343649 @default.
- W2156647413 hasRelatedWork W1984256985 @default.
- W2156647413 hasRelatedWork W2071447691 @default.
- W2156647413 hasRelatedWork W2098693344 @default.
- W2156647413 hasRelatedWork W2139482016 @default.
- W2156647413 hasRelatedWork W2148149459 @default.
- W2156647413 hasRelatedWork W2261425470 @default.
- W2156647413 hasRelatedWork W2278339426 @default.
- W2156647413 hasRelatedWork W2428820896 @default.
- W2156647413 hasRelatedWork W2589600649 @default.
- W2156647413 hasRelatedWork W2738674715 @default.
- W2156647413 hasRelatedWork W2774008319 @default.
- W2156647413 hasRelatedWork W2787627752 @default.
- W2156647413 hasRelatedWork W2801156625 @default.
- W2156647413 hasRelatedWork W2811128929 @default.
- W2156647413 hasRelatedWork W3102125706 @default.
- W2156647413 hasRelatedWork W84880479 @default.
- W2156647413 isParatext "false" @default.
- W2156647413 isRetracted "false" @default.
- W2156647413 magId "2156647413" @default.
- W2156647413 workType "article" @default.