The following pages link to Macro tree transducers (Q1073576):
Displaying 17 items.
- Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (Q3075482) (← links)
- Tree Transformations and Dependencies (Q3172824) (← links)
- (Q3334094) (← links)
- An Algebra for Tree-Based Music Generation (Q3522866) (← links)
- Algebraic fusion of functions with an accumulating parameter and its improvement (Q3546049) (← links)
- (Q3601401) (← links)
- Iterated linear control and iterated one-turn pushdowns (Q3776663) (← links)
- Macro Tree Translations of Linear Size Increase are MSO Definable (Q4429669) (← links)
- A hierarchy of deterministic top-down tree transformations (Q4866680) (← links)
- (Q5089205) (← links)
- (Q5090989) (← links)
- The equivalence problem for letter-to-letter bottom-up tree transducers is solvable (Q5096729) (← links)
- Circularity, composition, and decomposition results for pebble macro tree transducers (Q5503438) (← links)
- Verification of tree-processing programs via higher-order mode checking (Q5740641) (← links)
- A pumping lemma for output languages of macro tree transducers (Q5878900) (← links)
- Streaming ranked-tree-to-string transducers (Q5918275) (← links)
- Characterizing attributed tree translations in terms of macro tree transducers (Q6104348) (← links)
