The following pages link to (Q4510371):
Displaying 15 items.
- A personal account of Turing's imprint on the development of computer science (Q465701) (← links)
- A note on discreteness and virtuality in analog computing (Q870262) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations (Q1670971) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Why there is no such discipline as hypercomputation (Q2497871) (← links)
- On Dynamical Systems of Large Girth or Cycle Indicator and Their Applications to Multivariate Cryptography (Q2866111) (← links)
- Towards a Historical Notion of ‘Turing—the Father of Computer Science’ (Q2963951) (← links)
- Parikh and Wittgenstein (Q3299831) (← links)
- My Life as a Logician (Q3305314) (← links)
- A Review of Mathematical Knowledge Management (Q3637281) (← links)
- On Computable Numbers, Nonuniversality, and the Genuine Power of Parallelism (Q4686646) (← links)
- The Mathematical Origins of Modern Computing (Q4972859) (← links)
- Seventy Years of Computer Science (Q5049043) (← links)
- Accelerating machines: a review (Q5451177) (← links)
