Details:
Title | The term orderings which are compatible with
composition II | Author(s) | Jinwang Liu, Zhuojun Liu, Mingsheng Wang | Type | Article in Journal | Length | 16 | ISSN | 0747-7171 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 35 | Number | 2 | Pages | 153--168 | Year | 2003 | Translation |
No | Refereed |
Yes |
|