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.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Logicales de ordenadores
• Texto completo no disponible (Saber más ...)