The \(\mu\)-measure as a tool for classifying computational complexity
Publication:1590662
DOI10.1007/s001530050163zbMath0964.03041OpenAlexW2043102901MaRDI QIDQ1590662
Publication date: 16 July 2001
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050163
computational complexityGrzegorczyk classesprimitive recursive functionspolynomial time computable functionsHeinermann classsimply typed term systems
Complexity of computation (including implicit computational complexity) (03D15) Grammars and rewriting systems (68Q42) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items (5)
This page was built for publication: The \(\mu\)-measure as a tool for classifying computational complexity