Search Sciweavers | Sciweavers

10304 search results - page 111 / 2061

» Computer science with the sciences: an emphasis in computati...

click to vote

MFCS
1994
Springer

93views Theoretical Computer Science» more MFCS 1994»

Stable Bistructure Models of PCF

15 years 5 months ago

Download www.brics.dk

Glynn Winskel

claim paper

Read More »

click to vote

FOCS
1992
IEEE

89views Theoretical Computer Science» more FOCS 1992»

A Subexponential Algorithm for Abstract Optimization Problems

15 years 5 months ago

Download reference.kfupm.edu.sa

Bernd Gärtner

claim paper

Read More »

click to vote

STACS
1993
Springer

84views Theoretical Computer Science» more STACS 1993»

A Decomposition Theorem for Probabilistic Transition Systems

15 years 5 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

15 years 5 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

click to vote

MFCS
1992
Springer

71views Theoretical Computer Science» more MFCS 1992»

Graph Layout Problems

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers