Are Buchberger's criteria necessary for the chain condition?

Hoon Hong John Perry

Published in: J. Symb. Comput. (2007)

Keyphrases

selection criteria
evaluation criteria
sufficient conditions
multiple criteria
artificial intelligence
information systems
knowledge base
database systems
pattern recognition
medical images