Used together with:
librari
(1)
quantifi
(1)
inequ
(1)
differ
(1)
solv
(1)
Stem
dddlib$ (
all stems
)
1 papers:
CADE-2002-Moller
#difference
#library
#named
#quantifier
DDDLIB: A Library for Solving Quantified Difference Inequalities (
JBM
), pp. 129–133.
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
.