Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
From MaRDI portal
Publication:674747
DOI10.1006/JSCO.1996.0054zbMath0865.68065OpenAlexW2165268511MaRDI QIDQ674747
Publication date: 6 March 1997
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1996.0054
Related Items (5)
Unification modulo ACUI plus distributivity axioms ⋮ A decision algorithm for distributive unification ⋮ The first-order theory of linear one-step rewriting is undecidable ⋮ Cadmium: An Implementation of ACD Term Rewriting ⋮ On rewrite constraints and context unification
This page was built for publication: Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
