Unification in Abelian semigroups

Authors:

Publisher website

1 September 1987

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

Vol. 3 (3) , 247-283
DOI:10.1007/bf00243791

Abstract

No abstract available

Keywords

Cited by 35 articles