Indexing of subrecursive classes

DOI10.1145/800133.804358MaRDI QIDQ5402569zbMATH OpenOpenAlexFDO

Authors Dexter Kozen

Publication date 14 March 2014

Published in Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/800133.804358

Mathematics Subject Classification ID

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

Cited in

(2)

• On some natural complete operators
• Read/write factorizable programs

This page was built for publication: Indexing of subrecursive classes

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