Search Sciweavers | Sciweavers

13306 search results - page 33 / 2662

» Theoretical Computer Science

click to vote

STACS
1993
Springer

84views Theoretical Computer Science» more STACS 1993»

A Decomposition Theorem for Probabilistic Transition Systems

14 years 3 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 3 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

14 years 3 months ago

Download www.cs.ust.hk

Josep Díaz

claim paper

Read More »

click to vote

MFCS
1992
Springer

75views Theoretical Computer Science» more MFCS 1992»

Neural Networks and Complexity Theory

14 years 3 months ago

Download www.cs.helsinki.fi

Pekka Orponen

claim paper

Read More »

click to vote

STACS
1992
Springer

86views Theoretical Computer Science» more STACS 1992»

A Theory of Strict P-completeness

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers