Sciweavers

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