1
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... Bound for Extended Resolution -- A Turing Machine Distance Hierarchy. Algorithms for Analyzing...

2
Published 2001
Springer Netherlands
Table of Contents: ... by Communicating Deterministic Turing Machines -- 11 Counter Machines and the Safety and Disjointness Problems...

3
Published 2018
Springer International Publishing
Table of Contents: ... -- Three Analog Neurons Are Turing Universal...