Details:
| Title | Invariants, Patterns and Weights for Ordering Terms | | Author(s) | Ursula Martin, Duncan Shand | | Type | Article in Journal | | Length | 37 | | ISSN | 0747-7171 |
| Language | English | | Journal | Journal of Symbolic Computation | | Volume | 29 | | Number | 6 | | Pages | 921--957 | | Year | 2000 | | Translation |
No | | Refereed |
Yes |
|
