Local Induction and Provably Total Computable Functions: A Case Study

DOI10.1007/978-3-642-30870-3_45zbMath1358.03090OpenAlexW54348881MaRDI QIDQ2904439

Andrés Cordón-Franco, F. F. Lara-Martín

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_45

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Recursive functions and relations, subrecursive hierarchies (03D20)

This page was built for publication: Local Induction and Provably Total Computable Functions: A Case Study