Recursion and Proof Theoretical Characterizations of Small Circuit Classes with Modulo Counting via Discrete Differential Equations.

Melissa Antonelli, Arnaud Durand, Rui Li

Browse the full ICALP paper archive.