Lemma: LOOP-Computable Functions are Total
Every \(L O O P\)-computable function is total.
Table of Contents
Proofs: 1
Mentioned in:
Theorems: 1
Thank you to the contributors under CC BY-SA 4.0!

- Github:
-

References
Bibliography
- Erk, Katrin; Priese, Lutz: "Theoretische Informatik", Springer Verlag, 2000, 2nd Edition