共 16 条
[2]
Atallah M. J., 1983, 24th Annual Symposium on Foundations of Computer Science, P92, DOI 10.1109/SFCS.1983.13
[3]
Davenport H., 1965, AM J MATH, V87, P684
[4]
DAVENPORT H, 1971, ACTA ARITH, V17, P363
[5]
FISHER MJ, 1972, COMPLEXITY COMPUTER, P153
[6]
Graham R. L., 1980, RAMSEY THEORY
[8]
Kreisel G., 1952, J SYMBOLIC LOGIC, V17, P43, DOI 10.2307/2267457
[9]
LIVNE R, 1985, 26TH P IEEE S F COMP, P312
[10]
PARIS J, 1977, HDB MATH LOGIC, P113