메뉴 건너뛰기




Volumn 31, Issue 3, 2002, Pages 887-905

Resource-bounded Kolmogorov complexity revisited

Author keywords

CD complexity; Computational complexity; Kolmogorov complexity

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; POLYNOMIALS; SET THEORY; THEOREM PROVING;

EID: 0036308548     PISSN: 00975397     EISSN: None     Source Type: Journal    
DOI: 10.1137/S009753979834388X     Document Type: Article
Times cited : (47)

References (29)
  • 4
    • 84948185164 scopus 로고    scopus 로고
    • The complexity of generating and checking proofs of membership
    • Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, C. Pueach and R. Reischuk, eds., Springer-Verlag, New York
    • (1996) Lecture Notes in Comput. Sci. , vol.1046 , pp. 75-86
    • Buhrman, H.1    Thierauf, T.2


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