Herbrandizing search problems in Bounded Arithmetic

• Autores: J. Hanika
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 50, Nº 6, 2004, pág. 577
• Idioma: inglés
• DOI: 10.1002/malq.200410005
• Texto completo no disponible (Saber más ...)