Structural Complexity I, 1988. ,
DOI : 10.1007/978-3-642-97062-7
Structural Complexity II The Undecidability of the Domino Problem, The Undecidability of the Domino Problem. Memoirs of the, 1964. ,
Axel Thue's papers on repetitions in words: a translation, In: Publications du LaCIM, vol.20, 1995. ,
Formal Language characterizations of, Journal of Automata, Languages and Combinatorics, vol.133, issue.4, pp.161-183, 2008. ,
Context-Sensitive Languages, Rational Graphs and Determinism, Logical Methods in Computer Science, vol.2, issue.2, pp.1-24, 2006. ,
DOI : 10.2168/LMCS-2(2:6)2006
URL : https://hal.archives-ouvertes.fr/hal-00149086
Fifty Years of the Spectrum Problem: Survey and New Results " . arXiv:0907.5495v1 Effective Closed Subshifts in 1D Can Be Implemented in 2D " . In: Fields of Logic and Computation, Lecture Notes in Computer Science, vol.6300, pp.208-226, 2010. ,
Machine Models and Simulations In: Handbook of Theoretical Computer Science vol A: Algorithms and Complexity, Chap. 1. [Flo56] I. Flores. " Reflected Number Systems " . In: IRE Transactions on Electronic Computers EC-5, pp.79-82, 1956. ,
A characterization of the entropies of multidimensional shifts of finite type, Annals of Mathematics, vol.171, issue.3, pp.2011-2038, 2010. ,
DOI : 10.4007/annals.2010.171.2011
Nondeterministic space is closed under complementation Turing machines and the spectra of first-order formulas, In: SIAM Journal on Computing Journal of Symbolic Logic, vol.17, issue.391, pp.935-938, 1974. ,
Periodicity in Tilings, Lecture Notes in Computer Science, vol.6224, pp.243-254, 2010. ,
DOI : 10.1007/978-3-642-14455-4_23
URL : https://hal.archives-ouvertes.fr/hal-00419196
The Nilpotency Problem of One-Dimensional Cellular Automata, In: SIAM Journal on Computing, vol.213, pp.571-586, 1992. ,
Reversibility and surjectivity problems of cellular automata, Journal of Computer and System Sciences, vol.48, issue.1, pp.22-000080025, 1994. ,
DOI : 10.1016/S0022-0000(05)80025-X
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
Generating all Tuples and Permutations fasc. 2. The Art of Computer Programming, Multidimensional Symbolic Dynamics " . In: Symbolic dynamics and its applications Proceedings of Symposia in Applied Mathematics, pp.61-80, 2004. ,
A zeta function for Z d -actions, Proceedings of Warwick Symposium on Z d actions LMS Lecture Notes Series, pp.433-450, 1996. ,
An Introduction to Symbolic Dynamics and Coding Recurrent Geodesics on a Surface of Negative Curvature, isbn: 0521551242. [Mor21] Undecidability and Nonperiodicity for Tilings of the Plane " . In: Inventiones Math, pp.84-100, 1921. ,
Theory of Recursive Functions and Effective Computability Medvedev Degrees of 2-Dimensional Subshifts of Finite Type, 1987. ,
¨ Uber die gegenseitige Lage gleicher Teiler gewisser Zeichenreihen, In: Kra. Vidensk. Selsk. Skrifter. I. Mat.-Nat. Kl, vol.12, 1912. ,