G Bonfante, JY Marion, R Péchoux - Logic for Programming, Artificial …, 2006 - Springer
We a give an intrinsic characterization of the class of functions which are computable in NC
1 that is by a uniform, logarithmic depth and polynomial size family circuit. Recall that the …