Used together with:
uniform
(1)
vector
(1)
arithmet
(1)
reduct
(1)
bit
(1)
Stem
urbiva$ (
all stems
)
1 papers:
IJCAR-2010-MaricJ
#named
#reduction
URBiVA: Uniform Reduction to Bit-Vector Arithmetic (
FM
,
PJ
), pp. 346–352.
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
.
IJCAR-2010-MaricJ #named #reduction
IJCAR-2010-MaricJ #named #reduction