.:. Consultation > Liste par auteurs > Hainry .:.

19 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2

Modèles de calcul sur les réels, résultats de comparaison Hainry E. Institut National Polytechnique de Lorraine - INPL (07/12/2006), Jean-Yves Marion (Dir.) [tel-00142675 - version 1]

The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation Bournez O., Lameiras Campagnolo M., Graça D. S., Hainry E. Dans 3rd International Conference on Theory and Applications of Models of Computation - TAMC'2006 (2006) [inria-00102946 - version 1]

Recursive Analysis Characterized as a Class of Real Recursive Functions Bournez O., Hainry E. Fundamenta Informaticae 74, 4 (2006) 409-433 [inria-00000515 - version 1]

Elementarily Computable Functions Over the Real Numbers and R-Sub-Recursive Functions Bournez O., Hainry E. Theoretical Computer Science 348, 2-3 (2005) 130--147 [inria-00000518 - version 1]

Elementarily Computable Functions Over the Real Numbers and $\mathbb(R)$-Sub-Recursive Functions Bournez O., Hainry E. N° A04-R-301 || bournez04f (2004) [inria-00107812 - version 1]

An analog Characterization of Elementarily Computable Functions Over the Real Numbers Bournez O., Hainry E. Dans 2nd APPSEM II Workshop - APPSEM'2004 (2004) 12 p [inria-00099897 - version 1]

Real Recursive Functions and Real Extensions of Recursive Functions Bournez O., Hainry E. Dans Machines and Universal Computations - MCU'2004 (2004) 12 p [inria-00100053 - version 1]

An analog Characterization of Elementarily Computable Functions Over the Real Numbers Bournez O., Hainry E. Dans 31st International Colloqiuim on Automata, Languages and Programming - ICALP'2004 3142 (2004) 269-280 [inria-00100054 - version 1]

Fonctions réelles calculables et fonctions R-récursives Hainry E. N° A03-R-347 || hainry03a (2003) [inria-00099502 - version 1]