A Purely Logical Characterization of Circuit Uniformity (Extended Draft) Steven Lindell † - BIT predicate - Document - PDFSEARCH.IO

First Page	Meta Content
	A Purely Logical Characterization of Circuit Uniformity (Extended Draft) Steven Lindell † Add to Reading List Document Date: 2013-03-11 14:31:15 Open Document File Size: 304,16 KB Share Result on Facebook Company J. Comp / Academic Press / GAP / / / Event Person Communication and Meetings / / Organization Haverford College / National Science Foundation / / Person Howard Straubing / Scott Weinstein / Larry Ruzzo / Steven Lindell / Eric Allender / Suzanne / Dave Barrington / Neil Immerman / Greg McColm / / / Position author / / ProvinceOrState New Brunswick / Pennsylvania / / SocialTag Complexity classes Model theory Circuit complexity Predicate logic Semantics FO BIT predicate AC0 Predicate Theoretical computer science

A Purely Logical Characterization of Circuit Uniformity (Extended Draft) Steven Lindell †Add to Reading List