-
Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshi...
International audience -
Why is it necessary to build a physical model of hypercomputation?
International audience -
Are mathematical hypercomputation models useful?
National audience -
Oracle hypermachines faced with the verification problem
International audience -
Sub-Computabilities
International audience -
On the mortality problem for matrices of low dimensions
Rapport interne. -
The stability of saturated linear dynamical systems is undecidable
Colloque avec actes et comité de lecture. internationale. -
Fonctions réelles calculables et fonctions R-récursives
Stage de DEA. Rapport de stage. -
An analog Characterization of Elementarily Computable Functions Over the Real...
Colloque avec actes et comité de lecture. internationale.
