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]
Seite(n): 11 Seiten

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-213417