Pointers in recursion: exploring the tropics

DOI10.4230/LIPICS.FSCD.2019.29MaRDI QIDQ5089032zbMATH OpenFDO

Authors

Publication date 18 July 2022

zbMATH Keywords

recursion theoryimplicit complexity

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Recommendations

• scientific article; zbMATH DE number 806752
• Characterizing PSPACE with pointers
• Recursion versus tail recursion over \(\overline{\mathbb{F}}_p\)
• scientific article; zbMATH DE number 1342252
• Tailoring recursion for complexity

Cites work

• scientific article; zbMATH DE number 176199 (Why is no real title available?)
• A characterization of alternating log time by ramified recurrence
• A new recursion-theoretic characterization of the polytime functions
• Alternation
• Arithmetizing uniform \(NC\)
• Function-algebraic characterizations of log and polylog parallel time
• Linear types and non-size-increasing polynomial time computation.
• On uniform circuit complexity
• Programming Languages and Systems
• Pure pointer programs with iteration
• Recursion schemata for slowly growing depth circuit classes
• Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits

Cited in

(1)

• \textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs

This page was built for publication: Pointers in recursion: exploring the tropics

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