-
1
-
-
0000101428
-
Appendix A: Tiling problems
-
E. Borger, E. Gradel, Y. Gurevich (Eds.)
-
C. Allauzen, B. Durand, Appendix A: Tiling problems, in: E. Borger, E. Gradel, Y. Gurevich (Eds.), The Classical Decision Problem, 1996, pp. 407-420.
-
(1996)
The Classical Decision Problem
, pp. 407-420
-
-
Allauzen, C.1
Durand, B.2
-
2
-
-
0003359740
-
The undecidability of the domino problem
-
R. Berger, The undecidability of the domino problem, Mem. Am. Math. Soc. 66, 1966.
-
(1966)
Mem. Am. Math. Soc.
, vol.66
-
-
Berger, R.1
-
3
-
-
0004276026
-
-
Springer, Berlin
-
E. Börger, E. Grädel, Y. Gurevich, The Classical Decision Problem, Springer, Berlin, 1996.
-
(1996)
The Classical Decision Problem
-
-
Börger, E.1
Grädel, E.2
Gurevich, Y.3
-
4
-
-
0002539856
-
Description of the characteristic sequence of an irrational
-
T.C. Brown, Description of the characteristic sequence of an irrational, Canad. Math. Bull. 36 (1993) 15-21.
-
(1993)
Canad. Math. Bull.
, vol.36
, pp. 15-21
-
-
Brown, T.C.1
-
5
-
-
0039067657
-
An aperiodic set of 13 Wang tiles
-
K. Culik, An aperiodic set of 13 Wang tiles, Discrete Math. 160 (1996) 245-251.
-
(1996)
Discrete Math.
, vol.160
, pp. 245-251
-
-
Culik, K.1
-
6
-
-
0031210138
-
Sturmian words: Structure, combinatorics, and their arithmetics
-
A. de Luca, Sturmian words: structure, combinatorics, and their arithmetics, Theoret. Comput. Sci. 183(1) (1997) 45-82.
-
(1997)
Theoret. Comput. Sci.
, vol.183
, Issue.1
, pp. 45-82
-
-
De Luca, A.1
-
7
-
-
0001628368
-
-
Springer, Berlin
-
A. de Luca, S. Varricchio, Handbook of Formal Languages, vol. 1, Chapter Regularity and Finiteness Conditions, Springer, Berlin, 1997, pp. 747-810.
-
(1997)
Handbook of Formal Languages, Vol. 1, Chapter Regularity and Finiteness Conditions
, vol.1
, pp. 747-810
-
-
De Luca, A.1
Varricchio, S.2
-
8
-
-
51249166960
-
The countability of a tiling family and the periodicity of a tiling
-
N. Dolbilin, The countability of a tiling family and the periodicity of a tiling, Discrete Comput. Geom. 13 (1995) 405-414.
-
(1995)
Discrete Comput. Geom.
, vol.13
, pp. 405-414
-
-
Dolbilin, N.1
-
9
-
-
21444444870
-
Self-similarity viewed as a local property via tile sets
-
MFCS'96, number 1113 Springer, Berlin
-
B. Durand, Self-similarity viewed as a local property via tile sets, MFCS'96, number 1113 in Lecture Notes in Computer Science, Springer, Berlin, 1996, pp. 312-323.
-
(1996)
Lecture Notes in Computer Science
, pp. 312-323
-
-
Durand, B.1
-
11
-
-
0000682882
-
A remark on Berger's paper on the domino problem
-
in Russian
-
Y. Gurevich, I. Koriakov, A remark on Berger's paper on the domino problem, Siberian J. Math. 13 (1972) 459-463 (in Russian).
-
(1972)
Siberian J. Math.
, vol.13
, pp. 459-463
-
-
Gurevich, Y.1
Koriakov, I.2
-
13
-
-
0040846874
-
A small aperiodic set of Wang tiles
-
J. Kari, A small aperiodic set of Wang tiles, Discrete Math. 160 (1996) 259-264.
-
(1996)
Discrete Math.
, vol.160
, pp. 259-264
-
-
Kari, J.1
-
15
-
-
33745672588
-
Automata on Infinite Words
-
Springer, Berlin
-
M. Nivat, D. Perrin, Automata on Infinite Words, Lecture Notes in Computer Science, vol. 192, Springer, Berlin, 1985.
-
(1985)
Lecture Notes in Computer Science
, vol.192
-
-
Nivat, M.1
Perrin, D.2
-
16
-
-
0000624114
-
Ensembles reconnaissables de mots biinfinis
-
M. Nivat, D. Perrin, Ensembles reconnaissables de mots biinfinis, Canadian J. Math. 38 (1986) 513-537.
-
(1986)
Canadian J. Math.
, vol.38
, pp. 513-537
-
-
Nivat, M.1
Perrin, D.2
-
18
-
-
0000536874
-
Undecidability and nonperiodicity for tilings of the plane
-
R.M. Robinson, Undecidability and nonperiodicity for tilings of the plane, Invent. Math. 12 (1971) 177-209.
-
(1971)
Invent. Math.
, vol.12
, pp. 177-209
-
-
Robinson, R.M.1
-
19
-
-
0346145138
-
On the conjugation of standard morphisms
-
MFCS'96
-
P. Séébold, On the conjugation of standard morphisms, MFCS'96, Lecture Notes in Computer Science, vol. 113, 1996, pp. 506-516.
-
(1996)
Lecture Notes in Computer Science
, vol.113
, pp. 506-516
-
-
Séébold, P.1
-
20
-
-
84944488797
-
Proving theorems by pattern recognition II
-
H. Wang, Proving theorems by pattern recognition II, Bell System Tech. J. 40 (1961) 1-41.
-
(1961)
Bell System Tech. J.
, vol.40
, pp. 1-41
-
-
Wang, H.1
|