Publication:4723712
From MaRDI portal
zbMath0615.03022MaRDI QIDQ4723712
Publication date: 1986
bounded arithmetic; alternating Turing machine; \(\Delta _ 0\)-hierarchy; alternations of bounded quantifiers; constant alternation; first-order arithmetic with bounded quantifiers
03D15: Complexity of computation (including implicit computational complexity)
03F30: First-order arithmetic and fragments
03D10: Turing machines and related notions
Related Items