The complexity of resource-bounded propositional proofs

• Autores: Albert Atserias Peri
• Directores de la Tesis: José Luis Balcázar Navarro (dir. tes.) , María Luisa Bonet Carbonell (dir. tes.)
• Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 2002
• Idioma: inglés
• Tribunal Calificador de la Tesis: Jacobo Toran (presid.) , Pavel Pudlak (voc.) , Rafael Farré Cirera (voc.) , Ricard Gavaldà Mestre (voc.)
• Texto completo no disponible (Saber más ...)