共 19 条
[1]
Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st
[2]
Aho Alfred V., 1979, 6TH P ACM S PRINC PR, P110
[3]
[Anonymous], 1982, PRINCIPLES DATABASE
[4]
CHANDRA A, 1980, J COMPUT SYST SCI, V25, P99
[5]
Chandra A. K., 1981, P ACM S PRINC PROGR, P50
[7]
Codd E.F., 1972, COURANT COMPUTER SCI, P65
[8]
DEROUGEMONT M, 1984, 16TH P ACM S THEOR C, P409
[9]
Enderton H. B., 2001, MATH INTRO LOGIC, V2nd ed
[10]
Fagin R., 1974, COMPLEXITY COMPUTATI, V7, P43