@misc{indiciae716466a415d6, title = {Recursion and proof theoretical characterizations of small circuit classes with modulo counting via discrete differential equations (long version)}, author = {Melissa Antonelli and Arnaud Durand and Rui Li}, year = {2026}, url = {https://arxiv.org/abs/2605.23805}, note = {Source identifier: 2605.23805} }