共 20 条
[1]
BARRINGTON DM, 1988, 3RD P ANN C STRUCT C, P47
[2]
BEAME P, 1986, 18TH P ANN ACM S THE, P169
[4]
Enderton H. B., 2001, MATH INTRO LOGIC, V2nd ed
[5]
Fagin R., 1974, SIAM AMS P, V7, P27
[6]
FICH FE, 1984, 3RD P ANN ACM S PRIN, P179
[7]
HAREL D, 1982, SPRINGER VERLAG LECT, V140, P313
[9]
LANGUAGES THAT CAPTURE COMPLEXITY CLASSES
[J].
SIAM JOURNAL ON COMPUTING,
1987, 16 (04)
:760-778
[10]
RELATIONAL QUERIES COMPUTABLE IN POLYNOMIAL-TIME
[J].
INFORMATION AND CONTROL,
1986, 68 (1-3)
:86-104