Computability in Symbolic Dynamics

Emmanuel Jeandel 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : We give an overview of the interplay between computability and symbolic dynamics.
Type de document :
Communication dans un congrès
CiE, Jun 2016, Paris, France. Lecture Notes in Computer Science, 9709, pp.124 - 131, 2016, CiE. 〈https://lipn.univ-paris13.fr/CIE2016/〉. 〈10.1007/978-3-319-40189-8_13〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01445688
Contributeur : Emmanuel Jeandel <>
Soumis le : mercredi 25 janvier 2017 - 11:26:06
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : mercredi 26 avril 2017 - 13:53:46

Fichiers

syndyn.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Emmanuel Jeandel. Computability in Symbolic Dynamics. CiE, Jun 2016, Paris, France. Lecture Notes in Computer Science, 9709, pp.124 - 131, 2016, CiE. 〈https://lipn.univ-paris13.fr/CIE2016/〉. 〈10.1007/978-3-319-40189-8_13〉. 〈hal-01445688〉

Partager

Métriques

Consultations de la notice

108

Téléchargements de fichiers

52