Uses discrete ODE schemas to give uniform recursion-theoretic and first-order proof-theoretic characterizations of all FAC0[n] circuit classes.
So TAC0(f0, f1) is a conservative extension ofTAC 0(f0); therefore,TAC 0[n](f1) is a conser- vative extension ofTAC 0[n]
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Recursion and proof theoretical characterizations of small circuit classes with modulo counting via discrete differential equations (long version)
Uses discrete ODE schemas to give uniform recursion-theoretic and first-order proof-theoretic characterizations of all FAC0[n] circuit classes.