A New Recursion-Theoretic Characterization of the Polytime Functions (1992)

by Stephen J Bellantoni, Stephen Arthur Cook
Venue:In: Computational Complexity