Used together with:
dualiti
(1)
between
(1)
theorem
(1)
dershowitz
(1)
Stem
kruskal$ (
all stems
)
1 papers:
ICALP-1998-Mellies
#on the
#theorem
On a Duality Between Kruskal and Dershowitz Theorems (
PAM
), pp. 518–529.
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
.
ICALP-1998-Mellies #on the #theorem
ICALP-1998-Mellies #on the #theorem