메뉴 건너뛰기




Volumn 281, Issue 1-2, 2002, Pages 311-324

De la logique aux pavages

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0037014255     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00018-X     Document Type: Article
Times cited : (4)

References (26)
  • 14
    • 0002115005 scopus 로고
    • Recurring dominoes: Making the highly undecidable highly understandable
    • (1985) Ann. Disc. Math. , vol.24 , pp. 51-72
    • Harel, D.1
  • 17
    • 84948149820 scopus 로고    scopus 로고
    • An aperiodic set of Wang cubes
    • Lecture Notes in Computer Science, Springer, Berlin
    • (1996) STACS'96 , vol.1046 , pp. 137-146
    • Kari, J.1    Čulik, K.2
  • 20
    • 84991920015 scopus 로고
    • Complexity of solvable cases of the decision problem for the predicate calculus
    • (1978) FOCS , vol.19 , pp. 35-47
    • Lewis, H.R.1


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