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
• Texto completo no disponible (Saber más ...)