Search Sciweavers | Sciweavers

10271 search results - page 142 / 2055

» Computer Science

Voted

GI
1995
Springer

95views Theoretical Computer Science» more GI 1995»

Probabilistically Checkable Proofs and Applications

15 years 8 months ago

Download cseweb.ucsd.edu

Shafi Goldwasser

claim paper

Read More »

166

click to vote

HOA
1995

133views Theoretical Computer Science» more HOA 1995»

Higher-Order Algebra with Transfinite Types

15 years 8 months ago

Download www.cs.ncl.ac.uk

L.J. Steggles

L. J. Steggles

claim paper

Read More »

111

Voted

RTA
1995
Springer

94views Theoretical Computer Science» more RTA 1995»

Modularity of Completeness Revisited

15 years 8 months ago

Download www.w3.org

Massimo Marchiori

claim paper

Read More »

118

Voted

STACS
1995
Springer

101views Theoretical Computer Science» more STACS 1995»

On the Average Running Time of Odd-Even Merge Sort

15 years 8 months ago

Download www.cs.ust.hk

Christine Rüb

claim paper

Read More »

124

click to vote

TLCA
1995
Springer

106views Theoretical Computer Science» more TLCA 1995»

Third-Order Matching in the Presence of Type Constructors

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers