Definitional schemes for primitive recursive and computable functions

DOI10.3233/COM-210312MaRDI QIDQ5037214

Pace P. Nielsen

Publication date: 28 February 2022

Published in: Computability (Search for Journal in Brave)

zbMATH Keywords

partial computable function; unary primitive recursive function

Mathematics Subject Classification ID

03D20: Recursive functions and relations, subrecursive hierarchies