# Theory of computation

## Papers overview

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

Review

2015

Review

2015

- Neuroscience & Biobehavioral Reviews
- 2015

The aims of the paper are to update Rolls' quantitative computational theory of hippocampal function and the predictions it makes… (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- J. Applied Logic
- 2006

For twenty years the Nuprl (“new pearl”) system has been used to develop software systems and formal theories of computational… (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Fuzzy Days
- 2001

wide variety of physical and mental tasks without any measurements and any computations. Familiar examples are parking a car… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- SIGACT News
- 2000

G' A. Linz, Peter. An introduction to formal languages and automata / Peter Linz'--3'd cd charrgcs ftrr the second edition wercl… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- 1996

In Optimality Theory, a linguistic input is assigned a grammatical structural description by selecting, from an infinite set of… (More)

Is this relevant?

Highly Cited

1987

Highly Cited

1987

- Ann. Pure Appl. Logic
- 1987

The mathematical framework of Stone duality is used to synthesize a number of hitherto separate developments in Theoretical… (More)

Is this relevant?

Highly Cited

1986

Highly Cited

1986

- 1986

Problem 1 (25 points) Prove that E is closed under linear-time reductions. (A class C is closed under linear-time reductions if… (More)

Is this relevant?

Highly Cited

1985

Highly Cited

1985

- 1985

It is argued that underlying the Church-Turing hypothesis there is an implicit physical assertion. Here, this assertion is… (More)

Is this relevant?

Highly Cited

1981

Highly Cited

1981

- SIGACT News
- 1981

This book is an introduction, on the undergraduate level, to the classical and contemporary theor y of computation . The topics… (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?