Definability of summation problems for Abelian groups and semigroups

Bibliographic Details
Published in:2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), (2017)
Main Author: Abu Zaid, Faried (Author)
Other Involved Persons: Dawar, Anuj ; Gr├Ądel, Erich ; Pakusa, Wied
Format: electronic Article
Language:English
Published: 2017
Physical Description:11
DOI:10.1109/LICS.2017.8005082
Local Subject Headings:
Further Information:https://doi.org/10.1109/LICS.2017.8005082
QR Code: Show QR Code

Ilmenau University Library, Online

Holdings details from Universit├Ątsbibliothek Ilmenau, Online
Shelf Mark: -
Online Access: https://doi.org/10.1109/LICS.2017.8005082
Availability: Available - Online.


Feedback Delivery Service