Loading [MathJax]/jax/output/HTML-CSS/config.js

A Logical Characterization of Constant-Depth Circuits over the Reals

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review