Characterizing Polynomial Time Computability of Rational and Real Functions

Walid Gomaa

Recursive analysis was introduced by A. Turing [1936], A. Grzegorczyk [1955], and D. Lacombe [1955]. It is based on a discrete mechanical framework that can be used to model comput…