# Computability theory

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- J. Mathematical Logic
- 2017

We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countableâ€¦Â (More)

Is this relevant?

Review

2015

Review

2015

- Springer Berlin Heidelberg
- 2015

The central notions in this book are those of the algorithm and computation, not a particular algorithm for a particular problemâ€¦Â (More)

Is this relevant?

2011

2011

- ITP
- 2011

This paper presents a mechanisation of some basic computability theory. The mechanisation uses two models: the recursiveâ€¦Â (More)

Is this relevant?

Highly Cited

2010

Highly Cited

2010

- 2010

My first contact with the area was in 1996 when I still worked at the University of Chicago. Back then, my main interest was inâ€¦Â (More)

Is this relevant?

2009

2009

- Undergraduate Topics in Computer Science
- 2009

Change your habit to hang or waste the time to only chat with your friends. It is done by your everyday, don't you feel boredâ€¦Â (More)

Is this relevant?

2005

2005

- Bulletin of Symbolic Logic
- 2005

The connections between mathematical logic and combinatorics have a rich history. This paper focuses on one aspect of thisâ€¦Â (More)

Is this relevant?

2004

2004

- Bulletin of Symbolic Logic
- 2004

Let M be a smooth, compact manifold of dimension n â‰¥ 5 and sectional curvature |K| â‰¤ 1. Let Met(M) = Riem(M)/Diff(M) be the spaceâ€¦Â (More)

Is this relevant?

1978

1978

- STOC
- 1978

Denotational semantics was introduced by Strachey as a means of defining semantics of programming languages. It's mathematicalâ€¦Â (More)

Is this relevant?

Highly Cited

1963

Highly Cited

1963

- J. ACM
- 1963

As a result of the work of Turing, Post, Kleene and Church [1, 2, 3, 9, 10, l l 12, 17, 18] it is now widely accepted ~ that theâ€¦Â (More)

Is this relevant?

Highly Cited

1959

Highly Cited

1959

- 1959

Computation is sure to become one of the most important of the sciences. This is because it is the science of how machines can beâ€¦Â (More)

Is this relevant?