Amitabha Roy, Howard Straubing. Definability of Languages by Generalized First-Order Formulas over (N, +). In Bruno Durand, Wolfgang Thomas, editors, STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings. Volume 3884 of Lecture Notes in Computer Science, pages 489-499, Springer, 2006. [doi]
Abstract is missing.