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 […]
Tesis doctoral de jacobo Toran
Información academica jacobo Toran. Tesis donde jacobo Toran ha sido autor, director o parte del tribunal.
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
Nonuniform complexity classes with sub-linear advice functions.
Tesis doctoral de Montserrat Hermo Huguet Se realiza un estudio exhaustivo de algunas clases de complejidad definidas a partir del