## Andreas Krebs, A. V. Sreejith

*Non-definability of Languages by Generalized First-order Formulas over (N, +)*

LICS, 2012.

@inproceedings{LICS-2012-KrebsS, author = "Andreas Krebs and A. V. Sreejith", booktitle = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2012.55", isbn = "978-1-4673-2263-8", pages = "451--460", publisher = "{IEEE Computer Society}", title = "{Non-definability of Languages by Generalized First-order Formulas over (N, +)}", year = 2012, }