Definability of Languages by Generalized First-Order Formulas over (N, +).

Amitabha Roy Howard Straubing Definability of Languages by Generalized First-Order Formulas over (N, +). 489-499 2006 conf/stacs/2006 STACS http://dx.doi.org/10.1007/11672142_40 db/conf/stacs/stacs2006.html#RoyS06