Pages that link to "Item:Q3946156"
From MaRDI portal
The following pages link to The theory of recursive functions, approaching its centennial (Q3946156):
Displayed 7 items.
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic (Q4372922) (← links)
- Why Turing’s Thesis Is Not a Thesis (Q4637226) (← links)
- The Mathematical Work of S.C.Kleene (Q4837673) (← links)
- The Developments of the Concept of Machine Computability from 1936 to the 1960s (Q5250213) (← links)
- Computability and Recursion (Q5689263) (← links)