Definability of Languages by Generalized First-Order Formulas over N:::+:::

Amitabha Roy, Howard Straubing. Definability of Languages by Generalized First-Order Formulas over N:::+:::. SIAM Journal on Computing, 37(2):502-521, 2007. [doi]

Abstract

Abstract is missing.