Block products for algebras over countable words and applications to logic | IEEE Conference Publication | IEEE Xplore