Turing Computability

Soare, R. I. (2016). Turing Computability. Springer.

Type

Book chapter

Intellectual base

Review or monograph

Year

2016

DOI

10.1007/978-3-642-31933-4_3

Link

https://doi.org/10.1007/978-3-642-31933-4_3

Cited by

2 citations across 2 artifacts.

Domain-specific

• Generic property
  • … exact definition of negligible and generic sets, exceptional locus, quantifiers and stability under intersection or perturbation and examples separating competing genericities are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..
• Index set (computability)
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

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:9778121f71db · see in the full table