The following pages link to Modular tree transducers (Q807012):
Displaying 10 items.
- Deaccumulation techniques for improving provability (Q882487) (← links)
- An implementation of syntax directed functional programming on nested- stack machines (Q1194207) (← links)
- Tree transducers with external functions (Q1208712) (← links)
- The equivalence of bottom-up and top-down tree-to-graph transducers (Q1271618) (← links)
- Streaming Tree Transducers (Q3166998) (← links)
- Tree Transformations and Dependencies (Q3172824) (← links)
- Implementation of a UU-algorithm for primitive recursive tree functions (Q5055894) (← links)
- The equivalence problem for letter-to-letter bottom-up tree transducers is solvable (Q5096729) (← links)
- Implementation and Application of Automata (Q5464009) (← links)
- A pumping lemma for output languages of macro tree transducers (Q5878900) (← links)
