共 12 条
- [1] CHAITIN G, 1977, IBM J RES DEV JUL, P350
- [3] Gacs P., 1974, SOV MATH DOKL, V15, P1477
- [5] Leonid A Levin, 1971, THESIS
- [6] Levin L.A., 1973, SOV MATH DOKL, V14, P1413
- [7] Levin Leonid A., 1976, SOVIET MATH DOKLADY, V17, P337
- [8] MARTINLOF P, 1966, INFORM CONTR, V6, P602
- [9] Schnorr C. P., 1973, Journal of Computer and System Sciences, V7, P376, DOI 10.1016/S0022-0000(73)80030-3
- [10] SCHNORR CP, UNPUBLISHED