Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Bauer, M., Zheng, X.: On the Weak Computability of Continuous Real Functions. In: CCA 2010, pp. 29–40 (2010)
2. Bournez, O., Cosnard, M.: On the computational power of dynamical systems and hybrid systems. Theoretical Computer Science 168, 417–459 (1996)
3. Braverman, M., Yampolsky, M.: Non-computable Julia sets. J. Amer. Math. Soc. 19, 551–578 (2006)
4. Cenzer, D.: Effective dynamics. In: Crossley, J., Remmel, J., Shore, R., Sweedler, M. (eds.) Logical Methods in Honor of Anil Nerode’s Sixtieth Birthday, pp. 162–177. Birkhauser (1993)
5. Cenzer, D., Dashti, A., King, J.L.F.: Computable Symbolic Dynamics. Math. Logic Quarterly 54, 524–533 (2008)