Article,

Are Buchberger's criteria necessary for the chain condition?

, and .
J. Symb. Comput., 42 (7): 717-732 (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews