On Symmetric Circuits and Fixed-Point Logics

Matthew Anderson, Anuj Dawar. On Symmetric Circuits and Fixed-Point Logics. Theory Comput. Syst., 60(3):521-551, 2017. [doi]

Abstract

Abstract is missing.