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