The following pages link to Automata for unordered trees (Q515668):
Displaying 7 items.
- Logics for unordered trees with data constraints (Q2424682) (← links)
- (Q4964022) (← links)
- (Q4995369) (← links)
- Finite Automata on Unranked and Unordered DAGs (Q5428246) (← links)
- Unranked Tree Automata with Sibling Equalities and Disequalities (Q5428866) (← links)
- Automata, Languages and Programming (Q5466544) (← links)
- Term Rewriting and Applications (Q5703872) (← links)