Bounded Fixed-Point Definability and Tabular Recognition of Languages.

Hans Lei

Browse the full CSL paper archive.