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
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
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
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
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
Review
1989
Review
1989
We present a model for computation over the reals or an arbitrary (ordered) ring R. In this general setting, we obtain universal… Expand
  • figure 1
  • figure 3
  • figure 8
  • figure 13
  • figure 15
Highly Cited
1989
Highly Cited
1989
Abstract Models of the various adaptive specializations that have evolved in the human psyche could become the building blocks of… Expand
  • figure 1
  • table 1
  • figure 2
  • table 3
  • table 4
Highly Cited
1986
Highly Cited
1986
Part 1 Introduction: Preliminaries Languages and Computation. Part 2 Models: Finite Automata Regular Expressions Context-Free… Expand
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
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
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