|
|||||
|
|
Local induction and provably total computable functions |
|
| Authors: | André s Cordó n-Franco,F. Fé lix Lara-Martí n |
| Affiliation: | Depto. Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla C/ Tarfia, s/n, 41012 Sevilla, Spain |
| Abstract: | |
| Keywords: | 03F30 03D20 |
| 本文献已被 ScienceDirect 等数据库收录！ | |