메뉴 건너뛰기




Volumn 218, Issue 2, 1999, Pages 285-295

Tiling allowing rotations only

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0038850144     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00327-2     Document Type: Article
Times cited : (2)

References (10)
  • 1
    • 0003359740 scopus 로고
    • The undecidability of the domino problem
    • R. Berger, The undecidability of the domino problem, Mem. Amer. Math. Soc. 66 (1966).
    • (1966) Mem. Amer. Math. Soc. , vol.66
    • Berger, R.1
  • 3
    • 0031270477 scopus 로고    scopus 로고
    • Complexity of tile rotation problems
    • E. Goles, I. Rapaport, Complexity of tile rotation problems, Theoret. Comput. Sci. 188 (1997) 129-159.
    • (1997) Theoret. Comput. Sci. , vol.188 , pp. 129-159
    • Goles, E.1    Rapaport, I.2
  • 4
    • 0022525716 scopus 로고
    • Effective transformations on infinite trees with applications to high undecidability, dominoes and fairness
    • D. Harel, Effective transformations on infinite trees with applications to high undecidability, dominoes and fairness, J. ACM 33 (1986) 224-248.
    • (1986) J. ACM , vol.33 , pp. 224-248
    • Harel, D.1
  • 5
    • 84991920015 scopus 로고
    • Complexity of solvable cases of the decision problem for predicate calculus
    • H. Lewis, Complexity of solvable cases of the decision problem for predicate calculus, Proc. 19th Symp. on Foundations of Computer Science, 1978, pp. 35-47.
    • (1978) Proc. 19th Symp. on Foundations of Computer Science , pp. 35-47
    • Lewis, H.1
  • 7
    • 0000536874 scopus 로고
    • Undecidability and nonperiodicity for tilings of the plane
    • R. 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.1
  • 9
    • 0004231405 scopus 로고
    • Dominoes are forever
    • Paderborn
    • P. van Emde Boas, Dominoes are forever, GTI Workshop, Paderborn, 1983, pp. 75-95.
    • (1983) GTI Workshop , pp. 75-95
    • Van Emde Boas, P.1
  • 10
    • 0002922352 scopus 로고
    • Proving theorems by pattern recognition
    • H. Wang, Proving theorems by pattern recognition, H. Bell System Tech. J. 40 (1961) 1-41.
    • (1961) H. Bell System Tech. J. , vol.40 , pp. 1-41
    • Wang, H.1


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