The following pages link to (Q4934276):
Displaying 9 items.
- Syntactic structures and recursive devices: a legacy of imprecision (Q438595) (← links)
- Computably enumerable sets and related issues (Q695800) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- The origins of the halting problem (Q2043819) (← links)
- (Q4325910) (← links)
- Theses for Computation and Recursion on Concrete and Abstract Structures (Q4637218) (← links)
- Why Turing’s Thesis Is Not a Thesis (Q4637226) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Secretive interaction. Players and strategies (Q6614887) (← links)