Simone Bova, Barnaby Martin
First-Order Queries on Finite Abelian Groups
CSL, 2015.
@inproceedings{CSL-2015-BovaM,
author = "Simone Bova and Barnaby Martin",
booktitle = "{24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany}",
doi = "10.4230/LIPIcs.CSL.2015.41",
isbn = "978-3-939897-90-3",
pages = "41--59",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{First-Order Queries on Finite Abelian Groups}",
volume = 41,
year = 2015,
}