Notation Systems and an Effective Fixed Point Property
From MaRDI portal
Publication:5619819
DOI10.2307/2035174zbMath0216.29002OpenAlexW4236973396MaRDI QIDQ5619819
Publication date: 1966
Full work available at URL: https://doi.org/10.2307/2035174
Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03D99)
Related Items (2)
Semi-effective numberings and definitions of the computable numbers ⋮ Sequences Having an Effective Fixed-Point Property
Cites Work
This page was built for publication: Notation Systems and an Effective Fixed Point Property