共 7 条
[1]
KOLMOGOROV AN, 1953, O PONYATII ALGORITMA, P175
[2]
KRINITSKY AA, 1984, ALGORITMY VOKRUG NAS
[3]
MALTSEV AI, 1986, AGORITMY REKURSIVNYE
[4]
Markov A. A., 1960, T MAT I STEKLOVA, V15, P1
[5]
Post EL., 1936, J SYMBOLIC LOGIC, V1, P103, DOI [DOI 10.2307/2269031, 10.2307/2269031]
[6]
SCHONHAGE A, 1970, UNIVERSELLE TURNIGS, P369