Unification in a combination of arbitrary disjoint equational theories
From MaRDI portal
(Redirected from Unification in a combination of arbitrary disjoint equational theories)
WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.
