Nisan-Wigderson generators in proof systems with forms of interpolation

• Autores: Ján Pich
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 57, Nº. 4, 2011, págs. 379-383
• Idioma: inglés
• DOI: 10.1002/malq.201010012
• Texto completo no disponible (Saber más ...)