Search Sciweavers | Sciweavers

14 search results - page 1 / 3

» stacs 1998

click to vote

STACS
1998
Springer

75views Theoretical Computer Science» more STACS 1998»

On the Structure of Valiant's Complexity Classes

14 years 23 days ago

Download www.dmtcs.org

Peter Bürgisser

claim paper

Read More »

click to vote

STACS
1998
Springer

93views Theoretical Computer Science» more STACS 1998»

Partially Persistent Search Trees with Transcript Operations

14 years 23 days ago

Download www.dmtcs.org

Kim S. Larsen

claim paper

Read More »

click to vote

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

14 years 23 days ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

click to vote

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

14 years 23 days ago

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

click to vote

STACS
1998
Springer

77views Theoretical Computer Science» more STACS 1998»

Interactive Protocols on the Reals

14 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers