Login / Signup

Simulation Buchberger's Algorithm by Knuth-Bendix Completion.

Reinhard Bündgen
Published in: RTA (1991)
Keyphrases
  • knuth bendix
  • np hard
  • programming language