Theory of Recursive Functions and Effective Computability

Jr, H. R. (1987). Theory of Recursive Functions and Effective Computability. MIT Press.

Type

Book

Intellectual base

Review or monograph

Year

1987

Link

https://openlibrary.org/isbn/9780262680523 not authoritativeverified

Cited by

1 citation across 1 artifact.

Domain-specific

• Reduction (Computability Theory)
  • The subscript (r) identifies the access model: Turing reduction allows adaptive oracle queries; many-one reduction requires one computable instance transformation; truth-table and related reductions impose other constraints.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:03eb338bd3dd · see in the full table