共 43 条
[1]
Aho A. V., 1979, 20th Annual Symposium of Foundations of Computer Science, P267, DOI 10.1109/SFCS.1979.23
[2]
AHO AV, 1979, COMPUT MATH APPL, V8, P205
[3]
[Anonymous], 1985, FORMAL THEORIES COMM
[7]
DWORK C, 1986, THEORETICAL ASPECTS, P149
[8]
Fagin R., 1986, Proceedings AAAI-86: Fifth National Conference on Artificial Intelligence, P428
[10]
FAGIN R, 1986, TARK THEORETICAL ASP, P187