DMCA

Buchberger's algorithm: A constraint-based completion procedure (1994)

Cached

Download Links

by Leo Bachmair , Harald Ganzinger
Citations:15 - 2 self