A sequence of complexly computable functions
From MaRDI portal
Publication:1229680
DOI10.1007/BF01442706zbMath0335.94021MaRDI QIDQ1229680
Publication date: 1975
Published in: Mathematical Notes (Search for Journal in Brave)
Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items
Cites Work