Unification in Abelian semigroups

• 1 September 1987
• journal article
• research article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 3  (3) , 247-283
• https://doi.org/10.1007/bf00243791

Abstract

Keywords

• UNIFICATION
• ASSOCIATIVITY
• COMMUTATIVITY
• ABELIAN MONOIDS
• ABELIAN SEMIGROUPS
• AUTOMATED THEOREM PROVING