Simone Bova and Barnaby Martin

Recent Publications

First-Order Queries on Finite Abelian Groups
Simone Bova and Barnaby Martin
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, pages 41-59, 2015.
PDF Cite