Used together with:
unif
(2)
modulo
(1)
semi
(1)
recurs
(1)
scheme
(1)
Stem
nonnest$ (
all stems
)
1 papers:
RTA-2013-SmolkaT
#recursion
#unification
Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification (
GS
,
TT
), pp. 271–286.
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
.