Basic features and development of the critical-pair/completion procedure
- 1 January 1985
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 108 references indexed in Scilit:
- MACSYMA from F to GJournal of Symbolic Computation, 1985
- Equational methods in first order predicate calculusJournal of Symbolic Computation, 1985
- A note on simplification orderingsInformation Processing Letters, 1979
- An algorithm to generate the basis of solutions to homogeneous linear diophantine equationsInformation Processing Letters, 1978
- The diamond lemma for ring theoryAdvances in Mathematics, 1978
- Mehrdimensionale Hermite-Interpolation und numerische IntegrationMathematische Zeitschrift, 1976
- On well-quasi-ordering finite treesMathematical Proceedings of the Cambridge Philosophical Society, 1963
- On multiplicative systems defined by generators and relationsMathematical Proceedings of the Cambridge Philosophical Society, 1951
- ber die EliminationstheorieMonatshefte für Mathematik, 1950
- Die Frage der endlich vielen Schritte in der Theorie der PolynomidealeMathematische Annalen, 1926