Skip to content

The Descriptive Comlexity of the Fixed-Points of Bounded Formulas.

Albert Atserias

VenueBCSL
Year2000
ProceedingsCSL

Browse the full CSL paper archive.