TERMINATION OF REWRITING

被引：357

作者：

DERSHOWITZ, N

机构：

来源：

关键词：

D O I：

10.1016/S0747-7171(87)80022-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：69 / 116

页数：48

共 129 条

[1]

ACKERMANN W, 1951, MATH Z, V53, P403

[2]

AITKACI H, 1985, RAIRO-INF THEOR APPL, V19, P359

[3]

[Anonymous], 1985, ARCH MATH LOGIK GRUN, DOI 10.1007/BF02007556

BACHMAIR, L ;

PLAISTED, DA .

[5]

BACHMAIR L, 1987, THESIS U ILLINOIS UR

[6]

BACHMAIR L, 1986, SPRINGER LEC NOTES C, V230, P5

[7]

BACHMAIR L, 1984, R841179 U ILL DEP CO

[8]

BALLANTYNE AM, 1975, IMPLEMENTATION DERIV

[9]

BELLEGARDE F, 1987, IN PRESS SPRINGER LE

[10]

BELLEGARDE F, 1984, P ACM S LISP FUNCTIO, P63