On the complexity of propositional proof systems

• Autores: Nicola Galesi
• Directores de la Tesis: María Luisa Bonet Carbonell (dir. tes.)
• Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 2000
• Idioma: inglés
• Tribunal Calificador de la Tesis: José Luis Balcázar Navarro (presid.) , Jordi Cortadella Fortuny (secret.) , Jacobo Toran (voc.) , Pavel Pudlak (voc.) , Rafael Farré Cirera (voc.)
• Texto completo no disponible (Saber más ...)