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

@article{Mtivier1983AboutTR,
  title={About the Rewriting Systems Produced by the Knuth-Bendix Completion Algorithm},
  author={Yves M{\'e}tivier},
  journal={Inf. Process. Lett.},
  year={1983},
  volume={16},
  pages={31-34}
}

From This Paper

Topics from this paper.