Details:
Title | Critical Pair Criteria for Completion | Author(s) | Leo Bachmair, Nachum Dershowitz | Type | Article in Journal | Length | 18 | ISSN | 0747-7171 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 6 | Number | 1 | Pages | 1--18 | Year | 1988 | Translation |
No | Refereed |
Yes |
|