Used together with:
lead
(1)
fix
(1)
non
(1)
monoton
(1)
induct
(1)
Stem
deflat$ (
all stems
)
1 papers:
LICS-2003-GradelK
#fixpoint
Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions (
EG
,
SK
), p. 158–?.
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
.