Unification under associativity and idempotence is of type nullary
- 1 September 1986
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 2 (3) , 277-281
- https://doi.org/10.1007/bf02328450
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Universal UnificationPublished by Springer Nature ,1984
- Complete sets of unifiers and matchers in equational theoriesPublished by Springer Nature ,1983
- A MATCHING PROCEDURE FOR W-ORDER LOGICPublished by Defense Technical Information Center (DTIC) ,1966