Uses discrete ODE schemas to give uniform recursion-theoretic and first-order proof-theoretic characterizations of all FAC0[n] circuit classes.
Johannsen.A bounded arithmetic theory for constant depth threshold circuits, vol- ume 6 ofSpringer Lecture Notes in Logic, chapter G ¨ODEL ’96, pages 224–234
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.