A technical note on AC-Unification. The number of minimal...

Journal of Automated Reasoning 1992 / 02 Vol. 8; Iss. 1

A technical note on AC-Unification. The number of minimal unifiers of the equation αx1+ ⋯ + αxp≐ACβy1+ ⋯ + βyq

Eric Domenjoud
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
8
Language:
english
Pages:
6
DOI:
10.1007/bf00263448
Date:
February, 1992
File:
PDF, 194 KB
english, 1992
Conversion to is in progress
Conversion to is failed