On how to move mountains ‘associatively and commutatively’

DOI10.1007/3-540-51081-8_109OpenAlexW1601584314MaRDI QIDQ5055722

Mike Lai

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-51081-8_109

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Word problems, etc. in computability and recursion theory (03D40)

Related Items

On pot, pans and pudding or how to discover generalised critical Pairs

Cites Work

• Unnamed Item
• Unnamed Item
• Only prime superpositions need be considered in the Knuth-Bendix completion procedure
• A complete proof of correctness of the Knuth-Bendix completion algorithm
• Completion of a Set of Rules Modulo a Set of Equations
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Complete Sets of Reductions for Some Equational Theories