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