Login / Signup

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

Andrés Cordón-FrancoFrancisco Félix Lara Martín
Published in: CiE (2012)
Keyphrases