Recursive analysis characterized as a class of real recursive functions (0)

by Olivier Bournez, Emmanuel Hainry
Venue:Fund. Inform