Used together with:
theorem
(1)
proof
(1)
simpl
(1)
mahler
(1)
skolem
(1)
Stem
lech$ (
all stems
)
1 papers:
ICALP-1985-Hansel
#proving
#theorem
A Simple Proof of the Skolem-Mahler-Lech Theorem (
GH
), pp. 244–249.
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-1985-Hansel #proving #theorem
ICALP-1985-Hansel #proving #theorem