Computable symbolic dynamics

From MaRDI portal
Publication:3528142


DOI10.1002/malq.200710066zbMath1170.03029MaRDI QIDQ3528142

S. Ali Dashti, Douglas Cenzer, Jonathan L. King

Publication date: 8 October 2008

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710066


03F60: Constructive and recursive analysis

37B10: Symbolic dynamics

03D80: Applications of computability and recursion theory

26E40: Constructive real analysis


Related Items



Cites Work