Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102125706> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3102125706 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.
- W3102125706 created "2020-11-23" @default.
- W3102125706 creator A5002674443 @default.
- W3102125706 creator A5042411667 @default.
- W3102125706 date "2017-01-01" @default.
- W3102125706 modified "2023-10-18" @default.
- W3102125706 title "Bottom-up automata on data trees and vertical XPath" @default.
- W3102125706 doi "https://doi.org/10.23638/lmcs-13(4:5)2017" @default.
- W3102125706 hasPublicationYear "2017" @default.
- W3102125706 type Work @default.
- W3102125706 sameAs 3102125706 @default.
- W3102125706 citedByCount "1" @default.
- W3102125706 countsByYear W31021257062023 @default.
- W3102125706 crossrefType "journal-article" @default.
- W3102125706 hasAuthorship W3102125706A5002674443 @default.
- W3102125706 hasAuthorship W3102125706A5042411667 @default.
- W3102125706 hasBestOaLocation W31021257061 @default.
- W3102125706 hasConcept C111919701 @default.
- W3102125706 hasConcept C112505250 @default.
- W3102125706 hasConcept C113174947 @default.
- W3102125706 hasConcept C11413529 @default.
- W3102125706 hasConcept C114614502 @default.
- W3102125706 hasConcept C118615104 @default.
- W3102125706 hasConcept C153269930 @default.
- W3102125706 hasConcept C168773769 @default.
- W3102125706 hasConcept C2778583254 @default.
- W3102125706 hasConcept C2780213375 @default.
- W3102125706 hasConcept C33923547 @default.
- W3102125706 hasConcept C41008148 @default.
- W3102125706 hasConcept C55348073 @default.
- W3102125706 hasConcept C6943359 @default.
- W3102125706 hasConcept C80444323 @default.
- W3102125706 hasConcept C8797682 @default.
- W3102125706 hasConceptScore W3102125706C111919701 @default.
- W3102125706 hasConceptScore W3102125706C112505250 @default.
- W3102125706 hasConceptScore W3102125706C113174947 @default.
- W3102125706 hasConceptScore W3102125706C11413529 @default.
- W3102125706 hasConceptScore W3102125706C114614502 @default.
- W3102125706 hasConceptScore W3102125706C118615104 @default.
- W3102125706 hasConceptScore W3102125706C153269930 @default.
- W3102125706 hasConceptScore W3102125706C168773769 @default.
- W3102125706 hasConceptScore W3102125706C2778583254 @default.
- W3102125706 hasConceptScore W3102125706C2780213375 @default.
- W3102125706 hasConceptScore W3102125706C33923547 @default.
- W3102125706 hasConceptScore W3102125706C41008148 @default.
- W3102125706 hasConceptScore W3102125706C55348073 @default.
- W3102125706 hasConceptScore W3102125706C6943359 @default.
- W3102125706 hasConceptScore W3102125706C80444323 @default.
- W3102125706 hasConceptScore W3102125706C8797682 @default.
- W3102125706 hasLocation W31021257061 @default.
- W3102125706 hasLocation W31021257062 @default.
- W3102125706 hasLocation W31021257063 @default.
- W3102125706 hasLocation W31021257064 @default.
- W3102125706 hasLocation W31021257065 @default.
- W3102125706 hasLocation W31021257066 @default.
- W3102125706 hasLocation W31021257067 @default.
- W3102125706 hasLocation W31021257068 @default.
- W3102125706 hasOpenAccess W3102125706 @default.
- W3102125706 hasPrimaryLocation W31021257061 @default.
- W3102125706 hasRelatedWork W10842229 @default.
- W3102125706 hasRelatedWork W1543051890 @default.
- W3102125706 hasRelatedWork W1582302366 @default.
- W3102125706 hasRelatedWork W1626184434 @default.
- W3102125706 hasRelatedWork W2005612348 @default.
- W3102125706 hasRelatedWork W2047551518 @default.
- W3102125706 hasRelatedWork W2247050992 @default.
- W3102125706 hasRelatedWork W2793661573 @default.
- W3102125706 hasRelatedWork W4320560294 @default.
- W3102125706 hasRelatedWork W2585890227 @default.
- W3102125706 isParatext "false" @default.
- W3102125706 isRetracted "false" @default.
- W3102125706 magId "3102125706" @default.
- W3102125706 workType "article" @default.