The following pages link to (Q3337461):
Displaying 7 items.
- Recursion theory and ordered groups (Q1093630) (← links)
- Computable linear orders and the ershov hierarchy (Q2112325) (← links)
- Algorithmic relationships of relations \(S_{\mathcal{L}}^n\) on linear orders (Q2172889) (← links)
- Isomorphisms of types in the presence of higher-order references (Q2904625) (← links)
- Isomorphism of "Functional" Intersection Types (Q2968414) (← links)
- Recursive Linear Orders with Incomplete Successivities (Q3977226) (← links)
- (Q4249358) (← links)