Barnaby Martin

Recent Publications

First-Order Queries on Finite Abelian Groups
Simone Bova, Barnaby Martin
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, pages 41-59, 2015.
PDF bib
Parameterized Proof Complexity
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider
Computational Complexity, volume 20, number 1, pages 51-85, 2011.
bib DOI
Parameterized Proof Complexity
Stefan Dantchev, Barnaby Martin, Stefan Szeider
Proceedings of the 48th Annual Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, pages 150-160, 2007, IEEE Press.
bib DOI