-
1
-
-
84910150090
-
The Classical Decision Problem
-
AD96, Appendix A:, pp, Springer, Heidelberg
-
[AD96] Allauzen, C., Durand, B.: The Classical Decision Problem. In: Appendix A: "Tiling problems", pp. 407-420. Springer, Heidelberg (1996)
-
(1996)
Tiling problems
, pp. 407-420
-
-
Allauzen, C.1
Durand, B.2
-
3
-
-
0242523856
-
Tilings: Recursivity and regularity
-
CD04
-
[CD04] Cervelle, J., Durand, B.: Tilings: recursivity and regularity. Theoretical Computer Science 310(1-3), 469-477 (2004)
-
(2004)
Theoretical Computer Science
, vol.310
, Issue.1-3
, pp. 469-477
-
-
Cervelle, J.1
Durand, B.2
-
5
-
-
0034832949
-
Complex tilings
-
DLS01
-
[DLS01] Durand, B., Levin, L.A., Shen, A.: Complex tilings. In: Proceedings of the Symposium on Theory of Computing, pp. 732-739 (2001)
-
(2001)
Proceedings of the Symposium on Theory of Computing
, pp. 732-739
-
-
Durand, B.1
Levin, L.A.2
Shen, A.3
-
6
-
-
0002213684
-
Tilings and quasiperiodicity
-
Dur99
-
[Dur99] Durand, B.: Tilings and quasiperiodicity. Theoretical Computer Science 221(1-2), 61-75 (1999)
-
(1999)
Theoretical Computer Science
, vol.221
, Issue.1-2
, pp. 61-75
-
-
Durand, B.1
-
7
-
-
0037014255
-
De la logique aux pavages.
-
Dur02
-
[Dur02] Durand, B.: De la logique aux pavages. Theoretical Computer Science 281(1-2), 311-324 (2002)
-
(2002)
Theoretical Computer Science
, vol.281
, Issue.1-2
, pp. 311-324
-
-
Durand, B.1
-
8
-
-
0001255444
-
Infinite games with perfect information
-
GS53
-
[GS53] Gale, F., Stewart, F.M.: Infinite games with perfect information. Ann. Math. Studies 28, 245-266 (1953)
-
(1953)
Ann. Math. Studies
, vol.28
, pp. 245-266
-
-
Gale, F.1
Stewart, F.M.2
-
9
-
-
4243979036
-
Non-recursive tilings of the plane. I
-
Han74
-
[Han74] Hanf, W.P.: Non-recursive tilings of the plane. I. Journal of Symbolic Logic 39(2), 283-285 (1974)
-
(1974)
Journal of Symbolic Logic
, vol.39
, Issue.2
, pp. 283-285
-
-
Hanf, W.P.1
-
10
-
-
38149043536
-
Universal Tilings
-
LW07, Thomas, W, Weil, P, eds, STACS 2007, Springer, Heidelberg
-
[LW07] 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
-
11
-
-
0001434559
-
-
Mar75
-
[Mar75] Martin, D.A.: 1975. Annals of Math. 102, 363-371 (1975)
-
(1975)
Annals of Math
, vol.102
, pp. 363-371
-
-
Martin, D.A.1
-
12
-
-
0001449441
-
Non-recursive tilings of the plane. II
-
Mye74
-
[Mye74] Myers, D.: Non-recursive tilings of the plane. II. Journal of Symbolic Logic 39(2), 286-294 (1974)
-
(1974)
Journal of Symbolic Logic
, vol.39
, Issue.2
, pp. 286-294
-
-
Myers, D.1
-
13
-
-
70349334466
-
-
[Oxt57] Oxtoby, J.C.: Contribution to the theory of games, III. Ann. of Math. Studies 39, 159-163 (1957)
-
[Oxt57] Oxtoby, J.C.: Contribution to the theory of games, Vol. III. Ann. of Math. Studies 39, 159-163 (1957)
-
-
-
-
14
-
-
0000536874
-
Undecidability and nonperiodicity for tilings of the plane
-
Rob71
-
[Rob71] Robinson, R.: Undecidability and nonperiodicity for tilings of the plane. Inventiones Mathematicae 12, 177-209 (1971)
-
(1971)
Inventiones Mathematicae
, vol.12
, pp. 177-209
-
-
Robinson, R.1
-
16
-
-
84944488797
-
Proving theorems by pattern recognition II
-
Wan61
-
[Wan61] Wang, H.: Proving theorems by pattern recognition II. Bell System Technical Journal 40, 1-41 (1961)
-
(1961)
Bell System Technical Journal
, vol.40
, pp. 1-41
-
-
Wang, H.1
|