共 58 条
- [1] LOGICAL REVERSIBILITY OF COMPUTATION[J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1973, 17 (06) : 525 - 532BENNETT, CH
- [2] BENNETT CH, THERMODYNAMICS COMPU
- [3] Chaitin G., 1970, ACM SICACT NEWS, V4, P12, DOI [10.1145/1247047.1247052, DOI 10.1145/1247047.1247052]
- [4] Chaitin G. J., 1976, Computers & Mathematics with Applications, V2, P233, DOI 10.1016/0898-1221(76)90016-X
- [5] Chaitin G. J., 1976, Theoretical Computer Science, V2, P45, DOI 10.1016/0304-3975(76)90005-0
- [6] ON SIMPLICITY AND SPEED OF PROGRAMS FOR COMPUTING INFINITE SETS OF NATURAL NUMBERS[J]. JOURNAL OF THE ACM, 1969, 16 (03) : 407 - &CHAITIN, GJ
- [7] INFORMATION-THEORETIC COMPUTATIONAL COMPLEXITY[J]. IEEE TRANSACTIONS ON INFORMATION THEORY, 1974, 20 (01) : 10 - 15CHAITIN, GJ
- [8] INFORMATION-THEORETIC LIMITATIONS OF FORMAL SYSTEMS[J]. JOURNAL OF THE ACM, 1974, 21 (03) : 403 - 424CHAITIN, GJ
- [9] ON DIFFICULTY OF COMPUTATIONS[J]. IEEE TRANSACTIONS ON INFORMATION THEORY, 1970, 16 (01) : 5 - +CHAITIN, GJ
- [10] RANDOMNESS AND MATHEMATICAL PROOF[J]. SCIENTIFIC AMERICAN, 1975, 232 (05) : 47 - 52CHAITIN, GJ