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

Amitabha Roy, Howard Straubing

Browse the full STACS paper archive.