共 12 条
[1]
Asser G, 1955, Z MATH LOGIK GRUNDLA, V1, P252
[2]
Chang CC., 1973, MODEL THEORY
[3]
Durand A, 1998, LECT NOTES COMPUT SC, V1414, P189, DOI 10.1007/BFb0028015
[5]
FAGIN R, 1975, Z MATH LOGIK, V21, P123, DOI 10.1002/malq.19750210117
[6]
Fagin Ronald, 1974, Complexity of Computation, P43
[7]
UNIVERSAL QUANTIFIERS AND TIME-COMPLEXITY OF RANDOM-ACCESS MACHINES
[J].
MATHEMATICAL SYSTEMS THEORY,
1985, 18 (02)
:171-187