The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation

Olivier Bournez 1 Manuel Lameiras Campagnolo Daniel S. Graça Emmanuel Hainry 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Communication dans un congrès
3rd International Conference on Theory and Applications of Models of Computation - TAMC'2006, 2006, Pekin/Chine, 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00102946
Contributeur : Olivier Bournez <>
Soumis le : lundi 2 octobre 2006 - 22:34:58
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

  • HAL Id : inria-00102946, version 1

Collections

Citation

Olivier Bournez, Manuel Lameiras Campagnolo, Daniel S. Graça, Emmanuel Hainry. The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation. 3rd International Conference on Theory and Applications of Models of Computation - TAMC'2006, 2006, Pekin/Chine, 2006. 〈inria-00102946〉

Partager

Métriques

Consultations de la notice

53