Used together with:
transit
(1)
closur
(1)
integ
(1)
relat
(1)
affin
(1)
Stem
overapproxim$ (
all stems
)
1 papers:
SAS-2011-VerdoolaegeCB
#approximate
#integer
#transitive
#tuple
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations (
SV
,
AC
,
AB
), pp. 216–232.
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
.