Enumerability · Decidability Computability
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642461804, 9783642461781

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Equivalence of Turing-Computability and µ-Recursiveness

Enumerability · Decidability Computability ◽

10.1007/978-3-642-46178-1_4 ◽

1969 ◽

pp. 93-112

Author(s):

Hans Hermes

Keyword(s):

Turing Computability

Download Full-text

Miscellaneous

Enumerability · Decidability Computability ◽

10.1007/978-3-642-46178-1_7 ◽

1969 ◽

pp. 187-240

Author(s):

Hans Hermes

Download Full-text

Introductory Reflections on Algorithms

Enumerability · Decidability Computability ◽

10.1007/978-3-642-46178-1_1 ◽

1969 ◽

pp. 1-30

Author(s):

Hans Hermes

Download Full-text

Recursive Functions

Enumerability · Decidability Computability ◽

10.1007/978-3-642-46178-1_5 ◽

1969 ◽

pp. 113-140

Author(s):

Hans Hermes

Keyword(s):

Recursive Functions

Download Full-text

µ-Recursive Functions

Enumerability · Decidability Computability ◽

10.1007/978-3-642-46178-1_3 ◽

1969 ◽

pp. 59-93

Author(s):

Hans Hermes

Keyword(s):

Recursive Functions

Download Full-text

Undecidable Predicates

Enumerability · Decidability Computability ◽

10.1007/978-3-642-46178-1_6 ◽

1969 ◽

pp. 141-187

Author(s):

Hans Hermes

Download Full-text

Turing Machines

Enumerability · Decidability Computability ◽

10.1007/978-3-642-46178-1_2 ◽

1969 ◽

pp. 31-59

Author(s):

Hans Hermes

Keyword(s):

Turing Machines

Download Full-text