Paper: Definability of summation problems for Abelian groups and semigroups (at LICS 2017)
Authors: Faried Abu Zaid Anuj Dawar Erich Grädel Wied Pakusa
Abstract
No Abstract Available
BibTeX
@InProceedings{GrdelPakusa-Definabilityofsumma, author = {Faried Abu Zaid and Anuj Dawar and Erich Grädel and Wied Pakusa}, title = {Definability of summation problems for Abelian groups and semigroups}, booktitle = {Proceedings of the Thirty second Annual IEEE Symposium on Logic in Computer Science (LICS 2017)}, year = {2017}, month = {June}, pages = {1--11}, location = {Reykjavik}, publisher = {IEEE Computer Society Press} }