The counting hierarchy in binary notation
From MaRDI portal
Publication:1008842
DOI10.4171/PM/1832zbMath1163.68321MaRDI QIDQ1008842
Publication date: 30 March 2009
Published in: Portugaliae Mathematica. Nova Série (Search for Journal in Brave)
Full work available at URL: http://www.ems-ph.org/journals/show_pdf.php?issn=0032-5155&vol=66&iss=1&rank=6
03D15: Complexity of computation (including implicit computational complexity)
03F30: First-order arithmetic and fragments
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
03F35: Second- and higher-order arithmetic and fragments
Cites Work