The following pages link to Ordered tree-pushdown systems (Q5275365):
Displaying 6 items.
- Ordered trees and the inorder traversal (Q2502899) (← links)
- Homogeneity without loss of generality (Q4993359) (← links)
- (Q5076057) (← links)
- (Q5109508) (← links)
- The Complexity of the Diagonal Problem for Recursion Schemes (Q5136337) (← links)
- Cost Automata, Safe Schemes, and Downward Closures (Q6044492) (← links)