The following pages link to The IO- and OI-hierarchies (Q1161273):
Displaying 12 items.
- Tree-stack automata (Q4879207) (← links)
- (Q4972735) (← links)
- Homogeneity without loss of generality (Q4993359) (← links)
- (Q5014448) (← links)
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond (Q5060187) (← links)
- (Q5076057) (← links)
- Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered (Q5090949) (← links)
- (Q5109508) (← links)
- Domains for Higher-Order Games (Q5111275) (← links)
- The Complexity of the Diagonal Problem for Recursion Schemes (Q5136337) (← links)
- On higher-order reachability games vs may reachability (Q6173106) (← links)
- Substreetutions and more on trees (Q6624550) (← links)