Pages that link to "Item:Q1599655"
From MaRDI portal
The following pages link to A formal model for an expressive fragment of XSLT (Q1599655):
Displaying 12 items.
- Structural properties of XPath fragments (Q555765) (← links)
- On the complexity of typechecking top-down XML transformations (Q555775) (← links)
- On the tree-transformation power of XSLT (Q855270) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- Frontiers of tractability for typechecking simple XML transformations (Q878753) (← links)
- Typechecking top-down XML transformations: Fixed input or output schemas (Q937295) (← links)
- A theoretical foundation of the DSSSL location model (Q1370525) (← links)
- On the power of tree-walking automata. (Q1401944) (← links)
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles (Q2216430) (← links)
- Equivalences and optimizations in an expressive XSLT subset (Q2491211) (← links)
- (Q2767135) (← links)
- Tree Automata over Infinite Alphabets (Q5452188) (← links)