TY - RPRT TI - Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth AU - Arnaud Durand AU - Anselm Haak AU - Heribert Vollmer PY - 2017 UR - https://arxiv.org/abs/1710.01934 ID - 1710.01934 ER -