N. Aubrun and M. Sablik, Simulation of effective subshifts by two-dimensional SFT and a generalization, 2010.

A. Ballier and E. Jeandel, Tilings and model theory, First Symposium on Cellular Automata Journées Automates Cellulaires, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00273698

R. Berger, The undecidability of the domino problem. Memoirs of the, 1966.

G. David and B. , Quelques théorèmes sur le mouvement des systèmes dynamiques, 1912.

E. Börger, E. Grädel, and Y. Gurevich, The Classical Decision Problem, Perspectives in Mathematical Logic, 1997.
DOI : 10.1007/978-3-642-59207-2

J. Cervelle and B. Durand, Tilings: recursivity and regularity. Theoretical computer science, pp.469-477, 2004.
DOI : 10.1007/3-540-46541-3_41
URL : https://hal.archives-ouvertes.fr/hal-00619517

J. Delvenne, P. K?rka, and V. D. Blondel, Computational Universality in Symbolic Dynamical Systems, Machines, Computations, and Universality 4th International Conference, pp.104-115, 2004.
DOI : 10.1007/978-3-540-31834-7_8

B. Durand, Tilings and quasiperiodicity, Theoretical Computer Science, vol.221, issue.1-2, pp.61-75, 1999.
DOI : 10.1016/S0304-3975(99)00027-4
URL : https://hal.archives-ouvertes.fr/lirmm-01165314

B. Durand, L. A. Levin, and A. Shen, Abstract, The Journal of Symbolic Logic, vol.13, issue.02, pp.593-613, 2008.
DOI : 10.1016/0022-0000(91)90007-R
URL : https://hal.archives-ouvertes.fr/hal-00079709

B. Durand, A. Romashchenko, and A. Shen, Effective Closed Subshifts in 1D Can Be Implemented in 2D, Fields of Logic and Computation, number 6300 in Lecture Notes in Computer Science, pp.208-226, 2010.
DOI : 10.1002/j.1538-7305.1961.tb03975.x

M. Hochman, A note on universality in multidimensional symbolic dynamics, Discrete and Continuous Dynamical Systems S, 2009.
DOI : 10.3934/dcdss.2009.2.301

M. Hochman, On the dynamics and recursive properties of multidimensional symbolic systems, Inventiones mathematicae, vol.47, issue.1, 2009.
DOI : 10.1007/s00222-008-0161-7

D. Lind, Multidimensional Symbolic Dynamics, Symbolic dynamics and its applications of Proceedings of Symposia in Applied Mathematics, pp.61-80, 2004.

A. Douglas, B. Lind, and . Marcus, An Introduction to Symbolic Dynamics and Coding, 1995.

J. S. Miller, Two notes on subshifts, Proceedings of the American Mathematical Society, vol.140, issue.5
DOI : 10.1090/S0002-9939-2011-11000-1

M. Morse and G. A. Hedlund, Symbolic Dynamics, American Journal of Mathematics, vol.60, issue.4, pp.815-866, 1938.
DOI : 10.2307/2371264

S. Mozes, Tilings, substitution systems and dynamical systems generated by them, Journal d'Analyse Math??matique, vol.53, issue.1, pp.139-186, 1988.
DOI : 10.1007/BF02793412

. An, A. Muchnik, M. Semenov, and . Ushakov, Almost periodic sequences, Theoretical Computer Science, vol.304, issue.1-3, pp.1-33, 2003.

D. Myers, Nonrecursive tilings of the plane. II, The Journal of Symbolic Logic, vol.39, issue.02, pp.286-294, 1974.
DOI : 10.1007/BF01418780

N. Ollinger, Two-by-Two Substitution Systems and the Undecidability of the Domino Problem, Lecture Notes in Computer Science, vol.5028, pp.476-485, 2008.
DOI : 10.1007/978-3-540-69407-6_51
URL : https://hal.archives-ouvertes.fr/hal-00204625

R. M. Robinson, Undecidability and nonperiodicity for tilings of the plane, Inventiones Mathematicae, vol.40, issue.3, pp.177-209, 1971.
DOI : 10.1007/BF01418780

P. Salimov, On Uniform Recurrence of a Direct Product, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00990432

S. Simpson, Medvedev degrees of 2-dimensional subshifts of finite type. Ergodic Theory and Dynamical Systems, 2007.

H. Wang, Proving theorems by pattern recognition I, Communications of the ACM, vol.3, issue.4, pp.220-234, 1960.
DOI : 10.1145/367177.367224

H. Wang, Proving theorems by pattern recognition II. Bell system technical journal, pp.1-41, 1961.
DOI : 10.1007/978-94-009-2356-0_9

K. Weihrauch, Computable analysis, 2000.
DOI : 10.1007/978-3-642-56999-9