Theory and Applications of Models of Computation

Stuart A Kurtz, J. S. (2007). Theory and Applications of Models of Computation.

Type

Unclassified

Intellectual base

Unclassified

Year

2007

DOI

10.1007/978-3-540-72504-6_49

Link

https://doi.org/10.1007/978-3-540-72504-6_49

Cited by

1 citation across 1 artifact.

Domain-specific

• Mortality (computability theory)
  • … instance directly demonstrates that the finite generator set, carrier, composition order, permitted word length, designated mortal state and existential reachability question are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..

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