Used together with:
adhes
(1)
satur
(1)
system
(1)
rewrit
(1)
Stem
ltss$ (
all stems
)
1 papers:
ICGT-2010-BonchiGMM
#lts
#term rewriting
Saturated LTSs for Adhesive Rewriting Systems (
FB
,
FG
,
GVM
,
UM
), pp. 123–138.
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
.