# Computable function

## Papers overview

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

Highly Cited

2008

Highly Cited

2008

- ICLP
- 2008

Disjunctive Logic Programming (DLP) under the answer set semantics, often referred to as Answer Set Programming (ASP), is a… (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- 2007

This paper develops a computable general equilibrium model in which endogenous agency costs can potentially alter business-cycle… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- CiE
- 2005

It's not surprisingly when entering this site to get the book. One of the popular books now is the computable analysis. You may… (More)

Is this relevant?

Highly Cited

1990

Highly Cited

1990

- SODA
- 1990

Model-based recognition is concerned with comparing a shape A, which is stored as a model for some particular object, with a… (More)

Is this relevant?

Highly Cited

1990

Highly Cited

1990

- CRYPTO
- 1990

This paper describes a method for n players, a majority of which may be faulty, to compute correctly, privately, and fairly any… (More)

Is this relevant?

Highly Cited

1989

Highly Cited

1989

- STOC
- 1989

We show that the existence of one-way functions is necessary and sufficient for the existence of pseudo-random generators in the… (More)

Is this relevant?

Highly Cited

1982

Highly Cited

1982

- Information and Control
- 1982

We characterize the polynomial time computable queries as those ex pressible in relational calculus plus a least xed point… (More)

Is this relevant?

Highly Cited

1980

Highly Cited

1980

- J. Comput. Syst. Sci.
- 1980

The concept of “reasonable” queries on relational data bases is investigated. We provide an abstract characterization of the… (More)

Is this relevant?

Highly Cited

1963

Highly Cited

1963

- J. ACM
- 1963

As a result of the work of Turing, Post, Kleene and Church [1, 2, 3, 9, 10, l l 12, 17, 18] it is now widely accepted ~ that the… (More)

Is this relevant?

Highly Cited

1937

Highly Cited

1937

- 1937

The "computable" numbers may be described briefly as the real numbers whose expressions as a decimal are calculable by finite… (More)

Is this relevant?