Sciweavers

14 search results - page 1 / 3
» stacs 1998
Sort
View
150
Voted
STACS
1998
Springer
15 years 11 months ago
On the Structure of Valiant's Complexity Classes
Peter Bürgisser
158
Voted
STACS
1998
Springer
15 years 11 months ago
Optimal Proof Systems for Propositional Logic and Complete Sets
Jochen Meßner, Jacobo Torán
185
Voted
STACS
1998
Springer
15 years 11 months ago
Local Normal Forms for First-Order Logic with Applications to Games and Automata
Thomas Schwentick, Klaus Barthelmann
149
Voted
STACS
1998
Springer
15 years 11 months ago
Interactive Protocols on the Reals
Sergei Ivanov, Michel de Rougemont