The following pages link to (Q4138171):
Displaying 18 items.
- Composition closure of linear extended top-down tree transducers (Q519891) (← links)
- Equational tree transformations (Q551198) (← links)
- Determinacy and rewriting of functional top-down and MSO tree transformations (Q730500) (← links)
- Equational weighted tree transformations (Q766185) (← links)
- Compositions of extended top-down tree transducers (Q948090) (← links)
- Extended multi bottom-up tree transducers (Q1038420) (← links)
- Extended macro grammars and stack controlled machines (Q1064075) (← links)
- Morphismes et bimorphismes d'arbres (Q1165018) (← links)
- Multiple context-free tree grammars: lexicalization and characterization (Q1749480) (← links)
- Bottom-up unranked tree-to-graph transducers for translation into semantic graphs (Q2029483) (← links)
- Linking theorems for tree transducers (Q2628796) (← links)
- A Mechanized Theory of Regular Trees in Dependent Type Theory (Q2945653) (← links)
- Equational Weighted Tree Transformations with Discounting (Q3098036) (← links)
- Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition (Q3098043) (← links)
- Tree Transformations and Dependencies (Q3172824) (← links)
- Extended Multi Bottom-Up Tree Transducers (Q3533019) (← links)
- (Q4139645) (← links)
- Alphabetic and synchronized tree transducers (Q5941078) (← links)
