Details:
| Title | Knuth-Bendix Procedure and Buchberger Algorithm - A Synthesis | | Author(s) | Abdelilah Kandri-Rody, Deepak Kapur, Franz Winkler | | Type | Article in Conference Proceedings | | Length | 13 |
| Language | English | | Pages | 55--67 | | Year | 1989 | | Editor | G.H. Gonnet | | Translation |
No | | Refereed |
No | | Conferencename | International Symposium on Symbolic and Algebraic Computation 89 |
|
