Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables.

Howard Straubing, Denis Thrien

Browse the full STACS paper archive.