-
1
-
-
67650272060
-
-
Allauzen, C., Durand, B.: Appendix A: Tiling problems. The classical decision problem, 407-420 (1996).
-
Allauzen, C., Durand, B.: Appendix A: Tiling problems. The classical decision problem, 407-420 (1996).
-
-
-
-
2
-
-
45749125249
-
Structural aspects of tilings
-
Ballier, A., Durand, B., Jeandel, E.: Structural aspects of tilings. In: Proceeding of the Symposium on Theoretical Aspects of Computer Science, pp. 61-72 (2008).
-
(2008)
Proceeding of the Symposium on Theoretical Aspects of Computer Science
, pp. 61-72
-
-
Ballier, A.1
Durand, B.2
Jeandel, E.3
-
3
-
-
0003359740
-
The undecidability of the domino problem
-
Berger, R.: The undecidability of the domino problem. Mem. Amer. Math Soc. 66, 1-72 (1966).
-
(1966)
Mem. Amer. Math Soc
, vol.66
, pp. 1-72
-
-
Berger, R.1
-
4
-
-
0034832949
-
Complex tilings
-
Durand, B., Levin, L.A., Shen, A.: Complex tilings. In: STOC, pp. 732-739 (2001).
-
(2001)
STOC
, pp. 732-739
-
-
Durand, B.1
Levin, L.A.2
Shen, A.3
-
5
-
-
44649086707
-
Local rules and global order
-
Durand, B., Levin, L.A., Shen, A.: Local rules and global order. Mathematical Intelligencer 27(1), 64-68 (2004).
-
(2004)
Mathematical Intelligencer
, vol.27
, Issue.1
, pp. 64-68
-
-
Durand, B.1
Levin, L.A.2
Shen, A.3
-
6
-
-
54249164223
-
Fixed point and aperiodic tilings
-
Durand, B., Romashchenko, A.E., Shen, A.: Fixed point and aperiodic tilings. In: Developments in Language Theory, pp. 276-288 (2008).
-
(2008)
Developments in Language Theory
, pp. 276-288
-
-
Durand, B.1
Romashchenko, A.E.2
Shen, A.3
-
7
-
-
67650268590
-
-
Hanf,W.P.: Nonrecursive tilings of the plane. I. J. Symb. Log 39(2), 283-285 (1974).
-
Hanf,W.P.: Nonrecursive tilings of the plane. I. J. Symb. Log 39(2), 283-285 (1974).
-
-
-
-
8
-
-
38149043536
-
Universal tilings
-
Thomas, W, Weil, P, eds, STACS 2007, Springer, Heidelberg
-
Lafitte, G., Weiss, M.: Universal tilings. In: Thomas, W., Weil, P. (eds.) STACS 2007. LNCS, vol. 4393, pp. 367-380. Springer, Heidelberg (2007).
-
(2007)
LNCS
, vol.4393
, pp. 367-380
-
-
Lafitte, G.1
Weiss, M.2
-
9
-
-
67650279040
-
Simulations between tilings
-
Beckmann, A, Dimitracopoulos, C, Löwe, B, eds, Athens, Greece, June, University of Athens , 2008
-
Lafitte, G., Weiss, M.: Simulations between tilings. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds.) Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, University of Athens (2008).
-
(2008)
Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE
-
-
Lafitte, G.1
Weiss, M.2
-
10
-
-
48249153813
-
Computability of tilings
-
Lafitte, G., Weiss, M.: Computability of tilings. In: International Federation for Information Processing, Fifth IFIP International Conference on Theoretical Computer Science, vol. 273, pp. 187-201 (2008).
-
(2008)
International Federation for Information Processing, Fifth IFIP International Conference on Theoretical Computer Science
, vol.273
, pp. 187-201
-
-
Lafitte, G.1
Weiss, M.2
-
11
-
-
70349319535
-
-
Lafitte, G., Weiss, M.: A topological study of tilings. In: Agrawal, M., Du, D.-Z., Duan, Z., Li, A. (eds.) TAMC 2008. LNCS, 4978, pp. 375-387. Springer, Heidelberg (2008).
-
Lafitte, G., Weiss, M.: A topological study of tilings. In: Agrawal, M., Du, D.-Z., Duan, Z., Li, A. (eds.) TAMC 2008. LNCS, vol. 4978, pp. 375-387. Springer, Heidelberg (2008).
-
-
-
-
12
-
-
0001449441
-
Nonrecursive tilings of the plane. II
-
Myers, D.: Nonrecursive tilings of the plane. II. J. Symb. Log 39(2), 286-294 (1974).
-
(1974)
J. Symb. Log
, vol.39
, Issue.2
, pp. 286-294
-
-
Myers, D.1
-
14
-
-
0000536874
-
Undecidability and nonperiodicity for tilings of the plane
-
Robinson, R.M.: Undecidability and nonperiodicity for tilings of the plane. Inv. Math. 12, 117-209 (1971).
-
(1971)
Inv. Math
, vol.12
, pp. 117-209
-
-
Robinson, R.M.1
-
15
-
-
84944488797
-
Proving theorems by pattern recognition II
-
Wang, H.: Proving theorems by pattern recognition II. Bell Systems Journal 40, 1-41 (1961).
-
(1961)
Bell Systems Journal
, vol.40
, pp. 1-41
-
-
Wang, H.1
|