Decidability of downward XPath (Q2946683)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6483188
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Decidability of downward XPath |
scientific article; zbMATH DE number 6483188 |
Statements
Decidability of Downward XPath (English)
0 references
17 September 2015
0 references
DD automata
0 references
data tree
0 references
XML
0 references
XPath
0 references
data values
0 references
downward data automata
0 references
emptiness
0 references
extensible language
0 references
infinite alphabet
0 references
satisfiability
0 references
0.8417896628379822
0 references
0.8365669846534729
0 references
0.8168656229972839
0 references
0.8159167170524597
0 references
