Decidability of Downward XPath (Q2946683)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability of Downward XPath |
scientific article |
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
