. Ballier, Structural aspects of tilings, 25th International Symposium on Theoretical Aspects of Computer Science (STACS), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00145800

A. Ballier and E. Jeandel, Computing (or not) quasi-periodicity functions of tilings, Jeandel In: Symposium on Cellular Automata, pp.54-64, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00542498

R. Berger, The undecidability of the domino problem, Memoirs of the American Mathematical Society, vol.0, issue.66, 1964.
DOI : 10.1090/memo/0066

R. Berger, The Undecidability of the Domino Problem. No. 66 in Memoirs of the, 1966.

. Cenzer, Computable symbolic dynamics, MLQ, vol.15, issue.5, pp.460-469, 2008.
DOI : 10.1002/malq.200710066

. Cenzer, Computability of Countable Subshifts in One Dimension, Theory of Computing Systems, pp.1-2010, 2012.
DOI : 10.1007/s00224-011-9358-z

D. Cenzer and J. Remmel, ? 0 1 classes in mathematics, Handbook of Recursive Mathematics - of Studies in Logic and the Foundations of Mathematics, pp.623-821, 1998.

R. Cenzer, D. Cenzer, and J. Remmel, Effectively Closed Sets, ASL Lecture Notes in Logic, 2011.

I. Culik and K. , An aperiodic set of 13 Wang tiles, Discrete Mathematics, vol.160, issue.1-3, pp.245-251, 1996.
DOI : 10.1016/S0012-365X(96)00118-5

A. Dashti, Effective Symbolic Dynamics, 2008.

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

W. Hanf, Nonrecursive tilings of the plane. I, The Journal of Symbolic Logic, vol.30, issue.02, pp.283-285, 1974.
DOI : 10.1002/j.1538-7305.1961.tb03975.x

S. Jockusch, C. G. Jockusch, and R. I. Soare, classes, Pacific Journal of Mathematics, vol.40, issue.3, pp.605-616, 1972.
DOI : 10.2140/pjm.1972.40.605

S. Jockusch, C. G. Jockusch, and R. I. Soare, ??? 0 1 Classes and Degrees of Theories, Transactions of the American Mathematical Society, vol.173, pp.33-56, 1972.
DOI : 10.2307/1996261

J. Kari, A small aperiodic set of Wang tiles, Discrete Mathematics, vol.160, issue.1-3, pp.259-264, 1996.
DOI : 10.1016/0012-365X(95)00120-L

A. S. Kechris, Classical descriptive set theory, of Graduate Texts in Mathematics, 1995.
DOI : 10.1007/978-1-4612-4190-4

D. Lind, Multi-dimensional symbolic dynamics, Proceedings of Symposia in Applied Mathematics, pp.81-120, 2004.
DOI : 10.1090/psapm/060/2078846

L. , M. Lind, D. Marcus, and B. , An introduction to symbolic dynamics and coding, 1995.

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

S. G. Simpson, Mass problems associated with effectively closed sets, Tohoku Mathematical Journal, vol.63, issue.4, 2011.
DOI : 10.2748/tmj/1325886278
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.1237

S. G. Simpson, Medvedev degrees of two-dimensional subshifts of finite type, Ergodic Theory and Dynamical Systems, vol.104, issue.02, 2011.
DOI : 10.2178/bsl/1255526079

H. Wang, Proving Theorems by Pattern Recognition - II, Bell System Technical Journal, vol.40, issue.1, pp.1-41, 1961.
DOI : 10.1002/j.1538-7305.1961.tb03975.x

H. Wang, Dominoes and the Aea Case of the Decision Problem, Mathematical Theory of Automata, pp.23-55, 1963.
DOI : 10.1007/978-94-009-2356-0_11