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 […]

, , , ,