Completion of a Set of Rules Modulo a Set of Equations
- 1 November 1986
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 15 (4) , 1155-1194
- https://doi.org/10.1137/0215084
Abstract
No abstract availableKeywords
This publication has 41 references indexed in Scilit:
- Algebraic SimplificationPublished by Springer Nature ,1983
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- Confluent and Other Types of Thue SystemsJournal of the ACM, 1982
- New decision algorithms for finitely presented commutative semigroupsComputers & Mathematics with Applications, 1981
- A note on simplification orderingsInformation Processing Letters, 1979
- Proving termination with multiset orderingsCommunications of the ACM, 1979
- Proving termination with multiset orderingsPublished by Springer Nature ,1979
- The diamond lemma for ring theoryAdvances in Mathematics, 1978
- A Decision Problem for Transformations of TreesCanadian Journal of Mathematics, 1963
- The Word Problem for Abstract AlgebrasJournal of the London Mathematical Society, 1951