Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-01445688
Contributor : Emmanuel Jeandel <>
Submitted on : Wednesday, January 25, 2017 - 11:26:06 AM
Last modification on : Tuesday, December 18, 2018 - 4:48:02 PM
Long-term archiving on: : Wednesday, April 26, 2017 - 1:53:46 PM

Files

syndyn.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Emmanuel Jeandel. Computability in Symbolic Dynamics. CiE, Jun 2016, Paris, France. pp.124 - 131, ⟨10.1007/978-3-319-40189-8_13⟩. ⟨hal-01445688⟩

Share

Metrics

Record views

228

Files downloads

400