Details:
| Title | Simulating Buchberger's algorithm by Knuth-Bendix completion | | Author(s) | Reinhard | | Type | Article in Conference Proceedings | | Length | 11 | | ISBN | 0-387-539042 |
| Language | English | | Pages | 386 - 397 | | Year | 1991 | | Translation |
No | | Refereed |
No | | Conferencename | 4th international conference on Rewriting techniques and applications |
|
