개관원문 확인
Descriptive Complexity: a Logician's Approach to ComputationNeil Immerman · 1995Notices of the American Mathematical Society 42(10), 1127–1133쪽 (1995)서술 복잡도를 수학자 일반 독자에게 소개한 Immerman 의 글이다. Fagin 의 정리, Immerman–Vardi 정리, 그리고 P = NP 를 논리의 표현력으로 바꿔 적은 따름정리를 정리한다. 1-1 의 「여러 얼굴」 글이 인용한다. 저자 누리집의 공개본으로 연결한다.
확인:저자 공개본을 열어 정리 1·3, 따름정리 4, 정리 12 를 읽음.원문 주소 (people.cs.umass.edu)이 카드를 붙인 자료 1