Sciweavers

STACS
1998
Springer

Optimal Proof Systems for Propositional Logic and Complete Sets

14 years 3 months ago
Optimal Proof Systems for Propositional Logic and Complete Sets
Jochen Meßner, Jacobo Torán
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where STACS
Authors Jochen Meßner, Jacobo Torán
Comments (0)