The Foundations of Computability Theory
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662448076, 9783662448083

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Methods of Proving Incomputability

The Foundations of Computability Theory ◽

10.1007/978-3-662-44808-3_9 ◽

2015 ◽

pp. 191-215

Author(s):

Borut Robič

Download Full-text

The Class $$ \mathcal{D} $$ of Degrees of Unsolvability

The Foundations of Computability Theory ◽

10.1007/978-3-662-44808-3_13 ◽

2015 ◽

pp. 255-268

Author(s):

Borut Robič

Keyword(s):

Degrees Of Unsolvability

Download Full-text

Incomputable Problems

The Foundations of Computability Theory ◽

10.1007/978-3-662-44808-3_8 ◽

2015 ◽

pp. 161-190

Author(s):

Borut Robič

Download Full-text

The Quest for a Formalization

The Foundations of Computability Theory ◽

10.1007/978-3-662-44808-3_5 ◽

2015 ◽

pp. 69-100

Author(s):

Borut Robič

Download Full-text

Hilbert’s Attempt at Recovery

The Foundations of Computability Theory ◽

10.1007/978-3-662-44808-3_4 ◽

2015 ◽

pp. 49-66

Author(s):

Borut Robič

Download Full-text

Formalism

The Foundations of Computability Theory ◽

10.1007/978-3-662-44808-3_3 ◽

2015 ◽

pp. 31-48

Author(s):

Borut Robič

Download Full-text

The Turing Machine

The Foundations of Computability Theory ◽

10.1007/978-3-662-44808-3_6 ◽

2015 ◽

pp. 101-142

Author(s):

Borut Robič

Keyword(s):

Turing Machine

Download Full-text

The First Basic Results

The Foundations of Computability Theory ◽

10.1007/978-3-662-44808-3_7 ◽

2015 ◽

pp. 143-160

Author(s):

Borut Robič

Download Full-text

The Turing Hierarchy of Unsolvability

The Foundations of Computability Theory ◽

10.1007/978-3-662-44808-3_12 ◽

2015 ◽

pp. 245-253

Author(s):

Borut Robič

Download Full-text

The Foundations of Computability Theory
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Methods of Proving Incomputability

The Class $$ \mathcal{D} $$ of Degrees of Unsolvability

Incomputable Problems

The Quest for a Formalization

Hilbert’s Attempt at Recovery

Formalism

The Turing Machine

The First Basic Results

Further Reading

The Turing Hierarchy of Unsolvability

Export Citation Format

The Foundations of Computability TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Methods of Proving Incomputability

The Class $$ \mathcal{D} $$ of Degrees of Unsolvability

Incomputable Problems

The Quest for a Formalization

Hilbert’s Attempt at Recovery

Formalism

The Turing Machine

The First Basic Results

Further Reading

The Turing Hierarchy of Unsolvability

The Foundations of Computability Theory
Latest Publications