Used together with:
experiment
(1)
term
(1)
rewrit
(1)
complet
(1)
environ
(1)
Stem
comt$ (
all stems
)
1 papers:
RTA-1989-AvenhausMS
#named
#term rewriting
COMTES — An Experimental Environment for the Completion of Term Rewriting Systems (
JA
,
KM
,
JS
), pp. 542–546.
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
.