Enumerability · Decidability Computability
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662116883, 9783662116869

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Miscellaneous

Enumerability · Decidability Computability ◽

10.1007/978-3-662-11686-9_7 ◽

1965 ◽

pp. 187-240

Author(s):

Hans Hermes

Download Full-text

The Equivalence of Turing-Computability and μ-Recursiveness

Enumerability · Decidability Computability ◽

10.1007/978-3-662-11686-9_4 ◽

1965 ◽

pp. 93-112

Author(s):

Hans Hermes

Keyword(s):

Turing Computability

Download Full-text

Turing Machines

Enumerability · Decidability Computability ◽

10.1007/978-3-662-11686-9_2 ◽

1965 ◽

pp. 31-59

Author(s):

Hans Hermes

Keyword(s):

Turing Machines

Download Full-text

Introductory Reflections on Algorithms

Enumerability · Decidability Computability ◽

10.1007/978-3-662-11686-9_1 ◽

1965 ◽

pp. 1-30

Author(s):

Hans Hermes

Download Full-text

Undecidable Predicates

Enumerability · Decidability Computability ◽

10.1007/978-3-662-11686-9_6 ◽

1965 ◽

pp. 141-187

Author(s):

Hans Hermes

Download Full-text

Recursive Functions

Enumerability · Decidability Computability ◽

10.1007/978-3-662-11686-9_5 ◽

1965 ◽

pp. 113-140

Author(s):

Hans Hermes

Keyword(s):

Recursive Functions

Download Full-text

μ-Recursive Functions

Enumerability · Decidability Computability ◽

10.1007/978-3-662-11686-9_3 ◽

1965 ◽

pp. 59-93

Author(s):

Hans Hermes

Keyword(s):

Recursive Functions

Download Full-text