A Tecnical Note on AC-Unification. The Number of Minimal Unifiers of Equation ax1+...+axp = acby1+...+byq

Authors
E.Domenjoud
Citation
E.domenjoud, A Tecnical Note on AC-Unification. The Number of Minimal Unifiers of Equation ax1+...+axp = acby1+...+byq, Journal of automated reasoning , 8(1), 1992, pp. 39-44
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
8
Issue
1
Year of publication
1992
Pages
39 - 44
Database
ACNP
SICI code