Login / Signup

About the Rewriting Systems Produced by the Knuth-Bendix Completion Algorithm.

Yves Métivier
Published in: Inf. Process. Lett. (1983)
Keyphrases
  • search space
  • databases
  • database management systems
  • knuth bendix
  • rewriting systems