共 17 条
[1]
Aho Alfred V., 1986, ADDISON WESLEY SERIE
[2]
AIKEN A., 1991, P 18 ANN ACM S PRINC, P279, DOI DOI 10.1145/99583.99621
[3]
AIKEN A, 1991, P 5 ACM C FUNCT PROG, P427
[4]
Cook S.A., 1971, P 3 ANN ACM S THEOR, P151, DOI DOI 10.1145/800157.805047
[5]
Corradini A., 1993, P TAPSOFT 93 THEOR P, P468
[6]
DERSHOWITZ N, 1989, PRINCIPLES PROGRAMMI, P250
[7]
Dubiner M., 1990, Proceedings. 31st Annual Symposium on Foundations of Computer Science (Cat. No.90CH2925-6), P145, DOI 10.1109/FSCS.1990.89533
[8]
FU J, 1995, P 6 ANN S COMB PATT, P64
[9]
GLAUERT JRW, 1990, P 4 INT WORKSH GRAPH, P378
[10]
HEINTZE N, 1990, P 17 ANN ACM S PRINC, P197