Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...A universal Turing machine -- Recursive inseparability in linear logic -- The basic logic of proofs...”
Cover Image
Read Now

2
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- Some results on the complexity of powers -- The Turing complexity of AF C*-algebras with lattice...”
Cover Image
Read Now

3
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... realistic and robust model of computation -- Randomness and turing reducibility restraints -- Towards...”
Cover Image
Read Now

4
by Börger, Egon, Stärk, Robert
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Survey of ASM Research -- 9.1 The Idea of Sharpening Turing’s Thesis -- 9.2 Recognizing the Practical...”