Pages that link to "Item:Q1401966"
From MaRDI portal
The following pages link to XML with data values: Typechecking revisited. (Q1401966):
Displaying 12 items.
- Forward and backward application of symbolic tree transducers (Q404011) (← links)
- On the complexity of typechecking top-down XML transformations (Q555775) (← links)
- Well-definedness and semantic type-checking for the nested relational calculus (Q870267) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- Propagating XML constraints to relations (Q878752) (← links)
- Frontiers of tractability for typechecking simple XML transformations (Q878753) (← links)
- Typechecking top-down XML transformations: Fixed input or output schemas (Q937295) (← links)
- Backward type inference for XML queries (Q2182320) (← links)
- Modulo constraints and the complexity of typechecking XML views (Q2272220) (← links)
- Transducer-based analysis of cryptographic protocols (Q2464141) (← links)
- Complexity of Data Tree Patterns over XML Documents (Q3599134) (← links)
- Extending two-variable logic on data trees with order on data values and its automata (Q5410335) (← links)
