# Theory of Computing

## Papers overview

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

2015

2015

- IACR Cryptology ePrint Archive
- 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)

Is this relevant?

2014

2014

- 2014

How to generate provably true randomness with minimal assumptions? This question is important not only for the efficiency and the… (More)

Is this relevant?

2002

2002

- ICFP
- 2002

This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A… (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- J. ACM
- 1999

We give necessary and su cient combinatorial conditions characterizing the tasks that can be solved by asynchronous processes, of… (More)

Is this relevant?

1996

1996

- ACM Comput. Surv.
- 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

- 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

- Lecture Notes in Computer Science
- 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

- 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)

Is this relevant?

1971

1971

- AFIPS Spring Joint Computing Conference
- 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

- J. ACM
- 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?