Definability of summation problems for Abelian groups and semigroups.

Faried Abu Zaid, Anuj Dawar, Erich Grdel, Wied Pakusa

Browse the full LICS paper archive.