The following pages link to (Q4284265):
Displayed 4 items.
- Deterministic top-down tree transducers with iterated look-ahead (Q673068) (← links)
- Compositions with superlinear deterministic top-down tree transformations (Q1127541) (← links)
- Compositions of deterministic bottom-up, top-down, and regular look-ahead tree transformations (Q1351783) (← links)
- Decidability of equivalence for deterministic synchronized tree automata (Q5096728) (← links)