Collapsing modular counting in bounded arithmetic and constant depth propositional proofs

• Autores: Samuel R. Buss, Leszek Aleksander Kolodziejczyk, Konrad Zdanowski
• Localización: Transactions of the American Mathematical Society, ISSN 0002-9947, Vol. 367, Nº 11, 2015, págs. 7517-7563
• Idioma: inglés
• DOI: 10.1090/s0002-9947-2015-06233-3
• Texto completo no disponible (Saber más ...)