On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting.
Saved in:
| Title: | On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting. |
|---|---|
| Authors: | Salvador Lucas |
| Source: | Applicable Algebra in Engineering, Communication & Computing. Apr2006, Vol. 17 Issue 1, p49-73. 25p. |
| Database: | Mathematics Source |
| ISSN: | 09381279 |
|---|
