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 |
|