๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A new recursion-theoretic characterization of the polytime functions

โœ Scribed by Spephen Bellantoni; Stephen Cook


Publisher
Springer
Year
1992
Tongue
English
Weight
883 KB
Volume
2
Category
Article
ISSN
1016-3328

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A Classification of the Recursive Functi
โœ Albert R. Meyer; Dennis M. Ritchie ๐Ÿ“‚ Article ๐Ÿ“… 1972 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 744 KB

This research was supported in part by NSF Grant GP-2880, ARPA grant SD-146, and 2) We use L L C" to denote proper inclusion, and ''2" for improper inclusion. DSR 79457 under Project MAC. I) The operation of substitution consists of composition of functions and explicit transformation. \*) We use '