共 9 条
[1]
EVEN S, 1975, 7TH P ANN ACM S THEO, P66
[2]
FRAENKEL A, 1978, 19TH P ANN S F COMP, P55
[3]
GARDNER M, 1964, MATH RATSEL PROBLEME, P33
[5]
Lichtenstein D., 1978, 19th Annual Symposium on Foundations of Computer Science, P48, DOI 10.1109/SFCS.1978.17
[6]
MEYER AR, 1973, 5TH P ANN ACM S THEO, P1
[7]
PAUL W, 1978, KOMPLEXITATSTHEORIE