Skip to Main content Skip to Navigation
New interface

Fonctions réelles calculables et fonctions R-récursives

Emmanuel Hainry 1 
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : On définit des opérateurs de limites sur les fonctions. A l'aide de ces opérateurs, on définit de nouvelles classes de fonctions par clôture. On compare ces classes avec les fonctions élémentairement calculables (définies à partir de machines de Turing). On obtient ainsi une caractérisation des fonctions élémentairement calculables sous forme de clôture. || We define some limit operators with which we create a few new sets of functions as closures. We compare those classes with elementary computable functions, that are defined with Turing machines. This way, we have obtained a caracterization of elementary c
Document type :
Complete list of metadata
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:37:34 AM
Last modification on : Thursday, October 27, 2022 - 1:45:02 PM


  • HAL Id : inria-00099502, version 1



Emmanuel Hainry. Fonctions réelles calculables et fonctions R-récursives. [Stage] A03-R-347 || hainry03a, 2003, 30 p. ⟨inria-00099502⟩



Record views