메뉴 건너뛰기




Volumn 5532 LNCS, Issue , 2009, Pages 271-280

An almost totally universal tile set

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX CONSTRUCTION; ROBINSON; TOPOLOGICAL SPACES; WANG TILES;

EID: 67650221135     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02017-9_30     Document Type: Conference Paper
Times cited : (11)

References (15)
  • 1
    • 67650272060 scopus 로고    scopus 로고
    • 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).
  • 3
    • 0003359740 scopus 로고
    • 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
  • 7
    • 67650268590 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 11
    • 70349319535 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.