Sciweavers

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