On the complexity of propositional proof systems

Tesis doctoral de Nicola Galesi

 

Datos académicos de la tesis doctoral «On the complexity of propositional proof systems«

  • Título de la tesis:  On the complexity of propositional proof systems
  • Autor:  Nicola Galesi
  • Universidad:  Politécnica de catalunya
  • Fecha de lectura de la tesis:  08/05/2000

 

Dirección y tribunal

  • Director de la tesis
    • Bonet Carbonell M. Luisa
  • Tribunal
    • Presidente del tribunal: José Luis Balcazar navarro
    • pavel Pudlak (vocal)
    • jacobo Toran (vocal)
    • Rafael Farre cirera (vocal)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio