A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\)
From MaRDI portal
Publication:1187854
DOI10.1007/BF00263448zbMath0768.68068OpenAlexW292843929MaRDI QIDQ1187854
Publication date: 23 July 1992
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00263448
Related Items (5)
The complexity of counting problems in equational matching ⋮ What Is Essential Unification? ⋮ AC-superposition with constraints: No AC-unifiers needed ⋮ Unification problem in equational theories ⋮ ELAN from a rewriting logic point of view
This page was built for publication: A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\)
