Universal tilings

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4393 LNCS, Issue , 2007, Pages 367-380

  Lafitte, Grégory ^a   Weiss, Michael ^b  

^a CNRS   (France)

^b UNIVERSITY OF GENEVA   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; MATHEMATICAL MODELS; NUMERICAL METHODS; TURING MACHINES;

COMPUTING MODEL; TURING-UNIVERSAL;

SET THEORY;

EID: 38149043536     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70918-3_32     Document Type: Conference Paper

References (12)

1. ALLAUZEN (C.) et DURAND (B.), The Classical Decision Problem, appendix A: "Tiling problems", p. 407-420. Springer, 1996.
2. BERGER (R.), «The undecidability of the domino problem », Memoirs of the American Mathematical Society, vol. 66, 1966, p. 1-72.
3. CERVELLE (J.) et DURAND (B.), «Tilings: recursivity and regularity », Theoretical Computer Science, vol. 310, no 1-3, 2004, p. 469-477.
4. CULIK II (K.) et KARI (J.), «On aperiodic sets of Wang tiles », in Foundations of Computer Science: Potential - Theory - Cognition, p. 153-162, 1997.
5. DURAND (B.), LEVIN (L. A.) et SHEN (A.), «Complex tilings », in Proceedings of the Symposium on Theory of Computing, p. 732-739, 2001.
6. DURAND (B.), «Tilings and quasiperiodicity », Theoretical Computer Science, vol. 221, no 1-2, 1999, p. 61-75.
7. DURAND (B.), «De la logique aux pavages », Theoretical Computer Science, vol. 281, no 1-2, 2002, p. 311-324.
8. HANF (W. P.), «Non-recursive tilings of the plane. I », Journal of Symbolic Logic, vol. 39, no 2, 1974, p. 283-285.
9. MYERS (D.), «Non-recursive tilings of the plane. II », Journal of Symbolic Logic, vol. 39, no 2, 1974, p. 286-294.
10. ROBINSON (R.), «Undecidability and nonperiodicity for tilings of the plane », Inventiones Mathematicae, vol. 12, 1971, p. 177-209.
11. WANG (H.), «Proving theorems by pattern recognition II », Bell System Technical Journal, vol. 40, 1961, p. 1-41.
12. WANG (H.), «Dominoes and the V3V-case of the decision problem », in Proceedings of the Symposium on Mathematical Theory of Automata, p. 23-55, 1962.