Definability of summation problems for Abelian groups and semigroups | IEEE Conference Publication | IEEE Xplore