共 27 条
[1]
AMBRIOLA V, 1984, CMUCS84156 CARN U DE
[2]
BARBUTI R, UNPUB SCI COMPUTER P
[3]
BARBUTI R, 1983, INT COMP S APPLICATI
[4]
BARBUTI R, 1983, THEORY PRACTICE SOFT
[5]
BAUER FL, 1981, REPORT WIDE SPECTRUM
[6]
BJORNER D, 1977, INT COMP S
[7]
COUSOT P, 1976, INT S PROGRAMMING PA
[8]
DARLINGTON J, 1981, ARTIFICIAL INTELLIGE, V16
[9]
DONZEAUGOUGE V, 1978, INT S PROGRAMMING PA
[10]
DONZEAUGOUGE V, 1980, INRIA26 TECH REP