TY  - RPRT
TI  - A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits
AU  - Anselm Haak
AU  - Heribert Vollmer
PY  - 2017
DO  - 10.1016/j.apal.2019.04.006
UR  - https://arxiv.org/abs/1603.09531
ID  - 1603.09531
ER  -