Theory of Computing

Known as: Theory of Computing (journal) 
Theory of Computing is an online open access journal dedicated to theoretical computer science. The journal was founded in 2005 amidst growing… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
In a t-out-of-n robust secret sharing scheme, a secret message is shared among n parties who can reconstruct the message by… (More)
  • table 1
  • figure 1
Is this relevant?
2014
2014
How to generate provably true randomness with minimal assumptions? This question is important not only for the efficiency and the… (More)
  • figure 1
  • figure 2
Is this relevant?
2002
2002
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 8
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We give necessary and su cient combinatorial conditions characterizing the tasks that can be solved by asynchronous processes, of… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
1996
1996
We are gravely concerned with the contents, spirit and recommendations in the Aho et. al. Report on the Theory of Computing (TOC… (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?
1980
1980
Inevitably, reading is one of the requirements to be undergone. To improve the performance and quality, someone needs to have… (More)
Is this relevant?
Highly Cited
1974
Highly Cited
1974
The inherent computational complexity of a va r i e ty of decision problems i n mathematical logic and the theory of automata i s… (More)
  • table 4.2
Is this relevant?
1971
1971
Theory of computing means the abstract study of the nature of computation and computing devices. By convention, the terminology… (More)
Is this relevant?
1957
1957
The principal purpose of this paper is to offer a theory which is closely related to Turing's [1] but is more economical in the… (More)
Is this relevant?