Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... by Infinite Systems of Contractions -- Is P?=?PSPACE for Infinite Time Turing Machines?...”
Cover Image
Read Now

2
Published 2021
Springer International Publishing
“... of Turing's seminal work in the 1930s. This was motivated by questions such as: which real numbers and real...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...-Urysohn Extension Is Computable -- Is the Linear Schrödinger Propagator Turing Computable? -- A Computable...”