共 19 条
[1]
Chaitin G., 1970, ACM SICACT NEWS, V4, P12, DOI [10.1145/1247047.1247052, DOI 10.1145/1247047.1247052]
[2]
CHAITIN GJ, 1971, ACM SIGACT NEWS APR, P11
[3]
CHAITIN GJ, 1970, AMS NOTICES, V17, P672
[4]
CHAITIN GJ, 1970, IEEE T INFORM THEORY, VIT16, P5
[5]
CHAITIN GJ, 1971, OCT COUR I COMP COMP
[6]
CHANDRASEKARAN B, 1974, IEEE T SYST MAN CYB, VSMC4, P88
[7]
CHANDRASEKARAN B, 1972, OSUCISRCTR729 OH STA
[8]
Davis Martin, 1965, UNDECIDABLE BASIC PA
[10]
KAC M, 1959, 12 CAR MATH MON MATH