Details:
Title | History and Basic Features of the
Critical-Pair/Completion Procedure | Author(s) | Bruno Buchberger | Type | Article in Journal | Length | 36 | ISSN | 0747-7171 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 3 | Number | 1--2 | Pages | 3--38 | Year | 1987 | Translation |
No | Refereed |
Yes |
|