Unification in datastructure multisets

Author:

Publisher website

1 January 1986

journal article
research article
Published by Springer Nature in Journal of Automated Reasoning

Vol. 2 (1) , 75-88
DOI:10.1007/bf00246024

Abstract

No abstract available

Keywords

Cited by 14 articles