Sciweavers

14 search results - page 1 / 3
» stacs 1998
Sort
View
160
Voted
STACS
1998
Springer
15 years 11 months ago
Optimal Proof Systems for Propositional Logic and Complete Sets
Jochen Meßner, Jacobo Torán
STACS
1998
Springer
15 years 11 months ago
Interactive Protocols on the Reals
Sergei Ivanov, Michel de Rougemont