On the axiomatizability of quantitative algebras | IEEE Conference Publication | IEEE Xplore