182
by Hermes, H.
Published 1971
Springer Berlin Heidelberg
Table of Contents: .... Beispiele für Turing-Berechenbarkeit und Turing-Entscheidbarkeit -- Drittes Kapitel. µ-rekursive Funktionen...

183
by Hermes, Hans
Published 1978
Springer Berlin Heidelberg
Table of Contents: .... Beispiele für Turing-Berechenbarkeit und Turing-Entscheidbarkeit -- Drittes Kapitel. µ-rekursive Funktionen...

184
by Schultz, Konrad
Published 1992
Vieweg+Teubner Verlag
Table of Contents: .... Kellerautomaten -- 2.6. Kontextfreie Sprachen II -- 2.7. Deterministische Kellerautomaten -- 3. Turing-Maschinen...

185
by Loeckx, J.
Published 1972
Springer Berlin Heidelberg
Table of Contents: ... functions -- 3: Computable Functions -- 3.1. Historical background -- 3.2. The basic idea of Turing -- 3.3...

186
by Parkes, Alan P.
Published 2008
Springer London
Table of Contents: ... -- Important Features of Regular and Context Free Languages -- Phrase Structure Languages and Turing Machines...

187
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Computational Classes over the Reals -- A Survey of Infinite Time Turing Machines -- The Tiling Problem...

188
by Robič, Borut
Published 2020
Springer Berlin Heidelberg
Table of Contents: ... Formalization -- The Turing Machine -- The First Basic Results -- Incomputable Problems -- Methods of Proving...

189
by Döpp, Klemens
Published 2000
Vieweg+Teubner Verlag
Table of Contents: ...1. Turing Berechenbarkeit -- 1.1. Turingmaschinen -- 1.2. Programmierung von Turingmaschinen -- 1.3...

190
Published 1995
Springer Netherlands
Table of Contents: ... Waves in Finite and Discontinuous Media -- Two. Turing and Turing-like Paiterns -- 7. Turing Patterns...

191
by Morazán, Marco T.
Published 2024
Springer Nature Switzerland
Table of Contents: ...-Free Languages -- 14. Deterministic PDAs -- Part IV: Context-Sensitive Languages -- 15. Turing Machines...

192
by Morandi, Corinna, Rolando, Andrea, Di Vita, Stefano
Published 2016
Springer International Publishing
Table of Contents: ... Milan and Turin -- The Background: a Critical Analysis of the Ongoing Milan ICT Projects -- Two Applied...

193
by Maruoka, Akira
Published 2011
Springer London
Table of Contents: ... -- Pushdown Automaton -- Part III: Computability -- Turing Machine -- Universality of Turing Machine and its...

194
by Robič, Borut
Published 2015
Springer Berlin Heidelberg
Table of Contents: ... at Recovery -- The Quest for a Formalization -- The Turing Machine -- The First Basic Results -- Incomputable...

195
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...An Algebraic View on Exact Learning from Queries -- The Church-Turing Thesis: Breaking the Myth...

196
by Bianco, Giovanni
Published 2002
Carocci

197
Published 2011
Springer New York
... of future quantum computers and a possible escape from the Church-Turing thesis to a new computation...

198
Published 2015
Springer International Publishing
Table of Contents: ... Science -- Sampling a Two-way Finite Automaton -- Constructing reversible Turing machines by reversible...

199
by Morita, Kenichi
Published 2017
Springer Japan
Table of Contents: ... Logic Elements with Memory and Their Universality -- 4. Reversible Logic Gates -- 5. Reversible Turing...

200
by Du, Dingzhu, Ko, Ker-I
Published 2014
John Wiley & Sons
Table of Contents: ... Probabilistic Machines and Complexity Classes; 8.1 Randomized Algorithms; 8.2 Probabilistic Turing Machines; 8.3...