Definability of summation problems for Abelian groups and semigroups

Jun 20, 2017·
Faried Abu Zaid
,
Anuj Dawar
,
Erich Grädel
,
Wied Pakusa
· 0 min read
Abstract
This paper studies the definability of summation problems for Abelian groups and semigroups, providing new results and techniques in logic and computer science.
Type
Publication
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), Reykjavik, Iceland
Abelian Groups Semigroups Logic