Definability of Summation Problems for Abelian Groups and Semigroups

(2017) [Beitrag zu einem Tagungsband]

[32th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, 2017-06-20 -2017-06-23, Reykjavik, Iceland]

Authors

Selected Authors

Zaid, Faried Abu
Dawar, Anuj
Grädel, Erich
Pakusa, Wied

Identifier

  • REPORT NUMBER: RWTH-CONV-213417