Pages that link to "Item:Q1424364"
From MaRDI portal
The following pages link to A comparison of pebble tree transducers with macro tree transducers (Q1424364):
Displayed 7 items.
- The equivalence problem for deterministic MSO tree transducers is decidable (Q845868) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- Frontiers of tractability for typechecking simple XML transformations (Q878753) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← links)
- Typechecking top-down XML transformations: Fixed input or output schemas (Q937295) (← links)
- The time complexity of typechecking tree-walking tree transducers (Q1014274) (← links)
- Macro forest transducers (Q1029068) (← links)