Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
What do Foursquare, Zynga, Nike+, and Groupon have in common? These and many other brands use gamification to deliver a sticky… Expand
  • figure I
  • figure 1-1
  • figure 1-2
  • figure 1-3
  • figure 1-4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
From the Publisher: Defining his subject as making the art of verifying computer programs (debugging) into a science, the author… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
  • M. Atallah
  • Chapman & Hall/CRC Applied Algorithms and Data…
  • 1999
  • Corpus ID: 37758730
Algorithms and Theory of Computation Handbook, Second Edition provides an up-to-date compendium of fundamental computer science… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Abstract A set of simple new procedures has been developed to enable the real-time manipulation of speech parameters. The… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
From the Publisher: Lewis and Papadimitriou present this long awaited Second Edition of their best-selling theory of computation… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Self-organizing behaviour in cellular automata is discussed as a computational process. F ormallanguage theory is used to extend… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 2.1
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Self-organizing behaviour in cellular automata is discussed as a computational process. Formal language theory is used to extend… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Abstract A formalism for reasoning about actions is proposed that is based on a temporal logic. It allows a much wider range of… Expand
  • figure 1
Is this relevant?
Highly Cited
1970
Highly Cited
1970
However, Scott does realize that the approach argued for above is simply an argument for an approach that accomodates human… Expand
Is this relevant?
Highly Cited
1962
Highly Cited
1962
Publisher Summary This chapter discusses the mathematical theory of computation. Computation essentially explores how machines… Expand
Is this relevant?