The complexity of resource-bounded propositional proofs

Tesis doctoral de Albert Atserias Peri

 

Datos académicos de la tesis doctoral «The complexity of resource-bounded propositional proofs«

  • Título de la tesis:  The complexity of resource-bounded propositional proofs
  • Autor:  Albert Atserias Peri
  • Universidad:  Politécnica de catalunya
  • Fecha de lectura de la tesis:  25/02/2002

 

Dirección y tribunal

  • Director de la tesis
    • José Luis Balcazar Navarro
  • Tribunal
    • Presidente del tribunal: jacobo Toran
    • pavel Pudlak (vocal)
    • rafel Farre cirera (vocal)
    • (vocal)

 

Deja un comentario

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

Scroll al inicio