Used together with:
constraint
(1)
revisit
(1)
satisfi
(1)
Stem
kbo$ (
all stems
)
2 papers:
FLOPS-2014-YamadaWHM
#revisited
AC-KBO Revisited (
AY
,
SW
,
NH
,
AM
), pp. 319–335.
RTA-2007-ZanklM
#constraints
Satisfying KBO Constraints (
HZ
,
AM
), pp. 389–403.
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
.