Skip to Main content Skip to Navigation
Conference papers

On the Computational Capabilities of Several Models

Olivier Bournez 1 Emmanuel Hainry 1
1 CARTE - Theoretical adverse computations, and safety
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est
Abstract : We review some results about the computational power of several computational models. Considered models have in common to be related to continuous dynamical systems.
Document type :
Conference papers
Complete list of metadata
Contributor : Olivier Bournez <>
Submitted on : Friday, October 26, 2007 - 11:56:20 PM
Last modification on : Thursday, March 5, 2020 - 11:02:13 AM


  • HAL Id : inria-00182738, version 1



Olivier Bournez, Emmanuel Hainry. On the Computational Capabilities of Several Models. 5th International Conference on Machines, Computations and Universality - MCU 2007, Sep 2007, Orléans, France. pp.12-23. ⟨inria-00182738⟩



Record views