Pages that link to "Item:Q1019744"
From MaRDI portal
The following pages link to Deterministic bottom-up tree transducers and ground term rewrite systems (Q1019744):
Displaying 15 items.
- Synthesis of deterministic top-down tree transducers from automatic tree relations (Q515670) (← links)
- Bottom-up tree pushdown automata: Classification and connection with rewrite systems (Q1325836) (← links)
- Undecidable properties of deterministic top-down tree transducers (Q1341717) (← links)
- On ground tree transformations and congruences induced by tree automata. (Q1401416) (← links)
- Restricted ground tree transducers (Q1589437) (← links)
- The ground tree transducer game with identical tree automata (Q2753653) (← links)
- Determinacy and Rewriting of Top-Down and MSO Tree Transformations (Q2849905) (← links)
- Earliest normal form and minimization for bottom-up tree transducers (Q2909099) (← links)
- (Q3655368) (← links)
- (Q3976041) (← links)
- (Q4514551) (← links)
- Superlinear deterministic top-down tree transducers (Q4895817) (← links)
- (Q4904149) (← links)
- Bottom-up tree pushdown automata and rewrite systems (Q5055768) (← links)
- Definability Results for Top-Down Tree Transducers (Q6169966) (← links)