共 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