Pages that link to "Item:Q1078561"
From MaRDI portal
The following pages link to Fundamentals of generalized recursion theory (Q1078561):
Displaying 7 items.
- Introduction to Turing categories (Q998306) (← links)
- Computation by `While' programs on topological partial algebras (Q1292414) (← links)
- A representation of recursively enumerable sets through Horn formulas in higher recursion theory (Q1677584) (← links)
- Extending the first-order theory of combinators with self-referential truth (Q3138009) (← links)
- Computability of String Functions Over Algebraic Structures Armin Hemmerling (Q4379625) (← links)
- (Q4683860) (← links)
- Definability of Recursive Predicates in the Induced Subgraph Order (Q5224502) (← links)