Iteration on notation and unary functions

DOI10.1002/MALQ.201200055MaRDI QIDQ5396224zbMATH OpenOpenAlexFDO

Authors S. Mazzanti

Publication date 5 February 2014

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201200055

zbMATH Keywords

\(\mathrm{AC}^0\)\(\mathrm{NC}^1\)\(\mathrm{TC}^0\)computable functionsconcatenation recursion on notationNC

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Bounded iteration and unary functions
• CRN elimination and substitution bases for complexity classes
• Primitive iteration and unary functions
• Iterative Characterizations of Computable Unary Functions: A General Method
• New substitution bases for complexity classes

Cites work

• A reduction of the recursion scheme
• Another simplification of the recursion scheme
• Bounded iteration and unary functions
• Feasible mathematics II. Based on a workshop, held at the Cornell University, Ithaca, NY, USA, May 28-30, 1992
• General iteration and unary functions
• General Recursive Functions
• Implicit characterizations of FPTIME and NC revisited
• Iterative Characterizations of Computable Unary Functions: A General Method
• Parity, circuits, and the polynomial-time hierarchy
• Primitive iteration and unary functions
• Primitive recursive functions
• Simplifications of the recursion scheme
• Succinct iterative characterizations of primitive computable unary functions
• Unary primitive recursive functions

Cited in

(4)

• Bounded iteration and unary functions
• CRN elimination and substitution bases for complexity classes
• scientific article; zbMATH DE number 1373518 (Why is no real title available?)
• Unary functions

This page was built for publication: Iteration on notation and unary functions

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