The following pages link to (Q3674077):
Displayed 4 items.
- Macro tree transducers (Q1073576) (← links)
- Pushdown machines for the macro tree transducer (Q1089810) (← links)
- The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability (Q1176232) (← links)
- Tree transducers with external functions (Q1208712) (← links)