Used together with:
modulo
(1)
homomorph
(1)
distribut
(1)
plus
(1)
unif
(1)
Stem
acu$ (
all stems
)
1 papers:
CADE-2003-AnantharamanNR
#morphism
#unification
Unification Modulo ACU I Plus Homomorphisms/Distributivity (
SA
,
PN
,
MR
), pp. 442–457.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.