Do we need recursion?

MaRDI QIDQ5149161zbMATH OpenFDO

Authors Vítězslav Švejdar

Publication date 6 February 2021

zbMATH Keywords

recursionbounded formulasformalized syntax

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• scientific article; zbMATH DE number 1342252
• Primitive recursion in the abstract
• scientific article; zbMATH DE number 679694
• Negative Results on the Reduction of the Recursion Scheme
• On nested simple recursion

Cited in

(2)

• scientific article; zbMATH DE number 88994 (Why is no real title available?)
• The never-ending recursion

This page was built for publication: Do we need recursion?

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