Pages that link to "Item:Q4837673"
From MaRDI portal
The following pages link to The Mathematical Work of S.C.Kleene (Q4837673):
Displaying 9 items.
- Speed-up theorems in type-2 computations using oracle Turing machines (Q733754) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- The contribution of Polish logicians to recursion theory (Q2702283) (← links)
- Kleene's Amazing Second Recursion Theorem (Q3161629) (← links)
- Kleene, Rabin, and Scott Are Available (Q3584949) (← links)
- Alonzo church:his life, his work and some of his miracles (Q4391354) (← links)
- Completeness: from Gödel to Henkin (Q4983362) (← links)
- The Mathematical Work of K. S. S. Nambooripad (Q5018532) (← links)
- Diagonalisation and Church's Thesis: Kleene's Homework (Q5697424) (← links)