共 19 条
[1]
BENNETT CH, 1987, EMERGING SYNTHESES S
[2]
Bennett Charles H, 1988, UNIVERSAL TURING MAC, P227
[3]
Borges Jorge Luis, 1964, LABYRINTHS SELECTED, P246
[6]
CHAITIN GJ, 1977, IBM J RES DEV, V21, P496
[9]
GACS P, 1985, 17TH P ACM S THEOR C, P388
[10]
GEROCH P, 1968, F PHYS, V16, P533