A Logical Characterization of Constant-Depth Circuits over the Reals.

Timon Barlag, Heribert Vollmer

Browse the full WoLLIC paper archive.