共 7 条
[1]
Harper L. H., 1975, Theoretical Computer Science, V1, P161, DOI 10.1016/0304-3975(75)90018-3
[2]
Lupanov O. B., 1958, IZV VYSSH UCHEBN ZAV, V1, P120
[4]
PAUL W, 1975, 7TH ANN ACM S THEOR, P27
[6]
Schnorr C. P., 1976, Theoretical Computer Science, V1, P289, DOI 10.1016/0304-3975(76)90073-6