XQuery and static typing: tackling the problem of backward axes (Q2981946)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | XQuery and static typing: tackling the problem of backward axes |
scientific article |
Statements
XQuery and static typing: tackling the problem of backward axes (English)
0 references
10 May 2017
0 references
\(\mu\)-calculus
0 references
XML
0 references
XQuery
0 references
regular tree types
0 references
