The following pages link to (Q4003236):
Displaying 7 items.
- Unconventional algorithms: complementarity of axiomatics and construction (Q406192) (← links)
- The jump operation for structure degrees (Q818923) (← links)
- Categorial generalization of algebraic recursion theory (Q1898417) (← links)
- Diagonal fixed points in algebraic recursion theory (Q2576642) (← links)
- Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
- (Q4993796) (← links)
- Ivan Soskov: a life in computability (Q6599282) (← links)
