Pages that link to "Item:Q937295"
From MaRDI portal
The following pages link to Typechecking top-down XML transformations: Fixed input or output schemas (Q937295):
Displaying 7 items.
- Frontiers of tractability for typechecking simple XML transformations (Q878753) (← links)
- Schemas for unordered XML on a DIME (Q905687) (← links)
- Look-ahead removal for total deterministic top-down tree transducers (Q906394) (← links)
- Bottom-up unranked tree-to-graph transducers for translation into semantic graphs (Q2029483) (← links)
- Modulo constraints and the complexity of typechecking XML views (Q2272220) (← links)
- Deciding definability by deterministic regular expressions (Q2361347) (← links)
- Cooperating Distributed Tree Automata (Q3166944) (← links)
