Pages that link to "Item:Q1014274"
From MaRDI portal
The following pages link to The time complexity of typechecking tree-walking tree transducers (Q1014274):
Displaying 3 items.
- Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity (Q2022308) (← links)
- Backward type inference for XML queries (Q2182320) (← links)
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles (Q2216430) (← links)
