Michael Machtey

Learn More
A strong connection is established between the structural and the looking back techniques for manipulating the relative complexity of computable functions and exploring the nature of subrecursive reducibilities. Looking back serves as a basis for a simple and general structural result which can be used to derive many fundamental properties of subrecursive(More)