Theory of computation

Known as: Computational theory, Computation theory, Theory (disambiguation) 
In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
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
For twenty years the Nuprl (“new pearl”) system has been used to develop software systems and formal theories of computational… (More)
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
wide variety of physical and mental tasks without any measurements and any computations. Familiar examples are parking a car… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
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
In Optimality Theory, a linguistic input is assigned a grammatical structural description by selecting, from an infinite set of… (More)
  • table 13
Is this relevant?
Highly Cited
1987
Highly Cited
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
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
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
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
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)
  • figure 1
  • figure 2
Is this relevant?