The Foundations of Computability Theory
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

0
(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

2015 ◽  
pp. 191-215
Author(s):  
Borut Robič

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

2015 ◽  
pp. 255-268
Author(s):  
Borut Robič
Keyword(s):  
Degrees Of Unsolvability

The Turing Machine

2015 ◽  
pp. 101-142
Author(s):  
Borut Robič
Keyword(s):  
Turing Machine

Incomputable Problems

2015 ◽  
pp. 161-190
Author(s):  
Borut Robič

The Quest for a Formalization

2015 ◽  
pp. 69-100
Author(s):  
Borut Robič

Hilbert’s Attempt at Recovery

2015 ◽  
pp. 49-66
Author(s):  
Borut Robič

Formalism

2015 ◽  
pp. 31-48
Author(s):  
Borut Robič

The First Basic Results

2015 ◽  
pp. 143-160
Author(s):  
Borut Robič

Further Reading

2015 ◽  
pp. 295-296
Author(s):  
Borut Robič

The Turing Hierarchy of Unsolvability

2015 ◽  
pp. 245-253
Author(s):  
Borut Robič
Load More ...
Sign in / Sign up

Export Citation Format

Share Document