4 citations · 8 across the 6 of their papers we have counts for
Showing 2016 · cs.CCShow all
2 papers · 2 filters
cs.CC2016★ 4 cited
Descriptive Complexity of Functions
Arnaud Durand, Anselm Haak, Juha Kontinen +1
We introduce a new framework for a descriptive complexity approach to arithmetic computations. We define a hierarchy of classes based on the idea of counting assignments to free fu…
cs.CC2016★ 4 cited
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits
Anselm Haak, Heribert Vollmer
We study the class of functions computed by constant-depth polynomial-size arithmetic circuits of unbounded fan-in addition and multiplication gates. No model-theor…