The following pages link to (Q3974865):
Displayed 9 items.
- Decidability of equivalence for deterministic synchronized tree automata (Q671682) (← links)
- Deterministic top-down tree transducers with iterated look-ahead (Q673068) (← links)
- Storage-to-tree transducers with look-ahead (Q706619) (← links)
- Top-down tree transducers with two-way tree walking look-ahead (Q1185007) (← links)
- Synchronized tree automata (Q1325832) (← links)
- Deterministic top-down tree automata with Boolean deterministic look-ahead (Q2163373) (← links)
- A hierarchy of deterministic top-down tree transformations (Q4866680) (← links)
- Decidability of equivalence for deterministic synchronized tree automata (Q5096728) (← links)
- Alphabetic and synchronized tree transducers (Q5941078) (← links)