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)