Search Sciweavers | Sciweavers

10392 search results - page 395 / 2079

» Introduction to Computer Science

157

Voted

TLCA
2009
Springer

129views Theoretical Computer Science» more TLCA 2009»

Refinement Types as Proof Irrelevance

15 years 11 months ago

Download www.cs.cmu.edu

William Lovas, Frank Pfenning

claim paper

Read More »

150

click to vote

WG
2009
Springer

81views Theoretical Computer Science» more WG 2009»

Hardness Results and Efficient Algorithms for Graph Powers

15 years 11 months ago

Download www.lirmm.fr

Van Bang Le, Nguyen Ngoc Tuy

claim paper

Read More »

136

click to vote

WG
2009
Springer

70views Theoretical Computer Science» more WG 2009»

Directed Rank-Width and Displit Decomposition

15 years 11 months ago

Download www.lirmm.fr

Mamadou Moustapha Kanté, Michaël Rao

claim paper

Read More »

142

click to vote

WG
2009
Springer

90views Theoretical Computer Science» more WG 2009»

Maximum Series-Parallel Subgraph

15 years 11 months ago

Download www.lirmm.fr

Gruia Calinescu, Cristina G. Fernandes, Hemanshu K...

claim paper

Read More »

174

click to vote

ACM
1992

97views Theoretical Computer Science» more ACM 1992»

FDDI and Timing Requirements for Image Transmission

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers