Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth.

Arnaud Durand, Anselm Haak, Heribert Vollmer

Browse the full LICS paper archive.