TY  - RPRT
TI  - Non-definability of languages by generalized first-order formulas over (N,+)
AU  - Andreas Krebs
AU  - A. V. Sreejith
PY  - 2012
UR  - https://arxiv.org/abs/1204.6179
ID  - 1204.6179
ER  -