TY  - RPRT
TI  - Recursion and proof theoretical characterizations of small circuit classes with modulo counting via discrete differential equations (long version)
AU  - Melissa Antonelli
AU  - Arnaud Durand
AU  - Rui Li
PY  - 2026
UR  - https://arxiv.org/abs/2605.23805
ID  - 2605.23805
ER  -