Pages that link to "Item:Q4837673"
From MaRDI portal
The following pages link to The Mathematical Work of S.C.Kleene (Q4837673):
Displayed 5 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)
- Alonzo church:his life, his work and some of his miracles (Q4391354) (← links)
- Completeness: from Gödel to Henkin (Q4983362) (← links)
- Diagonalisation and Church's Thesis: Kleene's Homework (Q5697424) (← links)