✦ LIBER ✦
A technical note on AC-Unification. The number of minimal unifiers of the equation αx1+ ⋯ + αxp≐ACβy1+ ⋯ + βyq
✍ Scribed by Eric Domenjoud
- Publisher
- Springer Netherlands
- Year
- 1992
- Tongue
- English
- Weight
- 194 KB
- Volume
- 8
- Category
- Article
- ISSN
- 0168-7433
No coin nor oath required. For personal study only.