Skip to content

Algebraic Characterization of the Alternation Hierarchy in FO

Howard Straubing

VenueBCSL
Year2011
ProceedingsCSL

Browse the full CSL paper archive.