Local Induction and Provably Total Computable Functions: A Case Study.

Andrs Cordn-Franco, Francisco Flix Lara Martn

Browse the full CiE paper archive.