The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2006

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

Olivier Bournez
Constraints, automatic deduction and software properties proofs
Manuel Lameiras Campagnolo
  • Fonction : Auteur
Daniel S. Graça
  • Fonction : Auteur
Emmanuel Hainry
Constraints, automatic deduction and software properties proofs
CV

Domaines

Complexité [cs.CC]

Olivier Bournez  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00102946

Soumis le : lundi 2 octobre 2006-22:34:58

Dernière modification le : vendredi 24 mars 2023-14:52:48

Fichier non déposé

Dates et versions

inria-00102946 , version 1 (02-10-2006)

Identifiants

  • HAL Id : inria-00102946 , version 1

Citer

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. ⟨inria-00102946⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA
79 Consultations
0 Téléchargements

Partager

More