Buchberger's algorithm: the term rewriter's point of view
Authors:
Reinhard Bündgen
Affiliations:
-
Venue:
Theoretical Computer Science
Year:
1996
Citing
0
Cited
1
Cited References
Computer algebra handbook
Quantified Score
Hi-index
5.23
Visualization
Abstract