A Noetherian and confluent rewrite system for idempotent semigroups

This publication has 11 references indexed in Scilit:

• Universal Unification
  Published by Springer Nature ,1982
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• A Catalogue of Canonical Term Rewriting Systems.
  Published by Defense Technical Information Center (DTIC) ,1980
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• A short survey on the state of the art in matching and unification problems
  ACM SIGSAM Bulletin, 1979
• Abstract data types and software validation
  Communications of the ACM, 1978
• The lattice of equational classes of idempotent semigroups
  Journal of Algebra, 1970
• On the finiteness of semigroups in which x^r = x
  Mathematical Proceedings of the Cambridge Philosophical Society, 1964
• Idempotent Semigroups
  The American Mathematical Monthly, 1954
• On semi-groups in which x^r = x
  Mathematical Proceedings of the Cambridge Philosophical Society, 1952