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

, , , , ,