TY  - RPRT
TI  - A Logical Characterization of Constant-Depth Circuits over the Reals
AU  - Timon Barlag
AU  - Heribert Vollmer
PY  - 2023
UR  - https://arxiv.org/abs/2005.04916
ID  - 2005.04916
ER  -