Unification in datastructure multisets

• 1 January 1986
• journal article
• research article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 2  (1) , 75-88
• https://doi.org/10.1007/bf00246024

Abstract

Keywords

• THEOREM PROVING
• UNIFICATION
• LOGIC PROGRAMMING
• TERM DERIVATE SYSTEMS
• ALGORITHMS