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