Theories for TC0 and Other Small Complexity Classes
From MaRDI portal
Publication:5310650
DOI10.2168/LMCS-2(1:3)2006zbMath1126.68048MaRDI QIDQ5310650
No author found.
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Related Items (9)
The equivalence of theories that characterize ALogTime ⋮ Iterated multiplication in \(VTC^0\) ⋮ Generalized quantifier and a bounded arithmetic theory for LOGCFL ⋮ Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts ⋮ Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\) ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Short propositional refutations for dense random 3CNF formulas ⋮ Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) ⋮ Relativizing small complexity classes and their theories
This page was built for publication: Theories for TC0 and Other Small Complexity Classes
