共 66 条
[41]
Hudak Paul, 1992, SIGPLAN Not., V27, P1, DOI [10.1145/130697.130699, DOI 10.1145/130697.130699]
[42]
Huet G., 1978, 283 INRIA
[44]
KENNAWAY R, 1999, J FUNCTIONAL LOGIC P, P1999
[45]
Knuth D. E., 1970, Computational Problems in Abstract Algebra, P263, DOI [DOI 10.1016/B978-0-08-012975-4.50028-X, 10.1016/B978-0-08-012975-4.50028-X]
[46]
LAKFORD DS, 1979, PROVING TERM REWRITI
[47]
Lucas S, 2004, LECT NOTES COMPUT SC, V3091, P200
[48]
Lucas S, 2004, LECT NOTES COMPUT SC, V2987, P318
[49]
Polynomials over the reals in proofs of termination: From theory to practice
[J].
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS,
2005, 39 (03)
:547-586
[50]
Context-sensitive rewriting strategies
[J].
INFORMATION AND COMPUTATION,
2002, 178 (01)
:294-343