Used together with:
complet
(1)
reve
(1)
laboratori
(1)
term
(1)
rewrit
(1)
Stem
unfail$ (
all stems
)
1 papers:
RTA-1989-AnantharamanHM
#named
#term rewriting
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion (
SA
,
JH
,
JM
), pp. 533–537.
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
.