Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. L. Bachmair and N. Dershowitz. Critical pair criteria for completion. Journal of Symbolic Computation, 6:1–18, 1988.
2. L. Bachmair and N. Dershowitz. Equational inference, canonical proofs, and proof orderings. Journal of the ACM, 41(2):236–216, 1994.
3. B. Benninghofen, S. Kemmerich, and M. M. Richter. Systems of Reductions. Springer-Verlag, 1987.
4. G. M. Bergman. The diamond lemma for ring theory. Advances in Mathematics, 29:178–218, 1978.
5. B. Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. PhD thesis, Universität Innsbruck, 1965.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallel Completion Techniques;Symbolic Rewriting Techniques;1998