Theories for TC0 and Other Small Complexity Classes
From MaRDI portal
Recommendations
Cited in
(16)- Iterated multiplication in VTC^0
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\)
- Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\)
- On a Theory for AC0 and the Strength of the Induction Scheme
- scientific article; zbMATH DE number 806747 (Why is no real title available?)
- scientific article; zbMATH DE number 922627 (Why is no real title available?)
- scientific article; zbMATH DE number 937384 (Why is no real title available?)
- scientific article; zbMATH DE number 2196512 (Why is no real title available?)
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
- Towards new characterizations of small circuit classes via discrete ordinary differential equations
- A new characterization of FAC^0 via discrete ordinary differential equations
- Characterizing small circuit classes from FAC^0 to FAC^1 via discrete ordinary differential equations
- Short propositional refutations for dense random 3CNF formulas
- The equivalence of theories that characterize ALogTime
- Generalized quantifier and a bounded arithmetic theory for LOGCFL
This page was built for publication: Theories for TC0 and Other Small Complexity Classes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5310650)
