Search Sciweavers | Sciweavers

10447 search results - page 150 / 2090

» The Philosophy of Computer Science

click to vote

STACS
1993
Springer

106views Theoretical Computer Science» more STACS 1993»

The Bit Probe Complexity Measure Revisited

14 years 2 months ago

Download www.daimi.au.dk

Peter Bro Miltersen

claim paper

Read More »

click to vote

STACS
1993
Springer

84views Theoretical Computer Science» more STACS 1993»

A Decomposition Theorem for Probabilistic Transition Systems

14 years 2 months ago

Download www-verimag.imag.fr

Oded Maler

claim paper

Read More »

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

A Formalization of the Strong Normalization Proof for System F in LEGO

14 years 2 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

click to vote

STACS
1994
Springer

98views Theoretical Computer Science» more STACS 1994»

Optimal Parallelization of Las Vegas Algorithms

14 years 2 months ago

Download www.jos.org.cn

Michael Luby, Wolfgang Ertel

claim paper

Read More »

click to vote

MFCS
1992
Springer

71views Theoretical Computer Science» more MFCS 1992»

Graph Layout Problems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers