Adventures in time and space

DOI10.2168/LMCS-3(1:9)2007MaRDI QIDQ5310685zbMATH OpenOpenAlexFDO

Authors Norman Danner, James S. Royer

Publication date 11 October 2007

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-3(1:9)2007

Mathematics Subject Classification ID

Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15) Higher-type and set recursion theory (03D65)

Recommendations

• Adventures in time and space
• Time-Complexity Semantics for Feasible Affine Recursions
• Two algorithms in search of a type-system
• Higher type recursion, ramification and polynomial time
• scientific article; zbMATH DE number 1848310

Cited in

(5)

• Axiomatizing resource bounds for measure
• scientific article; zbMATH DE number 5665826 (Why is no real title available?)
• Denotational semantics as a foundation for cost recurrence extraction for functional languages
• Adventures in time and space
• Two algorithms in search of a type-system

This page was built for publication: Adventures in time and space

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