On Symmetric Circuits and Fixed-Point Logics. (2014)

First Author: Matthew Anderson

Attributed to: Descriptive Complexity with Algebraic Operators funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://drops.dagstuhl.de/opus/volltexte/2014/4445/

Type: Conference/Paper/Proceeding/Abstract

Volume: 31

ISSN: 18688969