Another simplification of the recursion scheme

DOI10.1007/BF02007251MaRDI QIDQ4110990zbMATH OpenOpenAlexFDO

Authors

Publication date 1976

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/137921

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites work

• Primitive recursive functions
• Simplifications of the recursion scheme

Cited in

(6)

• Primitive iteration and unary functions
• A classification of the one-argument primitive recursive functions
• Definitional schemes for primitive recursive and computable functions
• Iteration on notation and unary functions
• Spaces with combinators
• Closure functions and general iterates as reflectors

This page was built for publication: Another simplification of the recursion scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4110990)