On Symmetric Circuits and Fixed-Point Logics

Matthew Anderson, Anuj Dawar. On Symmetric Circuits and Fixed-Point Logics. In Ernst W. Mayr, Natacha Portier, editors, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, March 5-8, 2014, Lyon, France. Volume 25 of LIPIcs, pages 41-52, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]

Abstract

Abstract is missing.