Sciweavers

642 search results - page 5 / 129

» corr 2006

29

CORR
2006
Springer

82views Education» more CORR 2006»

14 years 10 months ago

Download www.cs.princeton.edu

Yves Bertot

claim paper

Read More »

27

CORR
2006
Springer

119views Education» more CORR 2006»

CoInduction in Coq

14 years 10 months ago

CoInduction in Coq

Download www.cse.chalmers.se

Yves Bertot

claim paper

Read More »

44

CORR
2006
Springer

89views Education» more CORR 2006»

Computing the First Few Betti Numbers of Semi-algebraic Sets in Single Exponential Time

14 years 10 months ago

Computing the First Few Betti Numbers of Semi-algebraic Sets in Single Exponential Time

Download www.math.purdue.edu

Saugata Basu

claim paper

Read More »

29

CORR
2006
Springer

116views Education» more CORR 2006»

On Covering a Graph Optimally with Induced Subgraphs

14 years 10 months ago

On Covering a Graph Optimally with Induced Subgraphs

Download www.win.tue.nl

Shripad Thite

claim paper

Read More »

27

CORR
2006
Springer

39views Education» more CORR 2006»

Squarepants in a Tree: Sum of Subtree Clustering and Hyperbolic Pants Decomposition

14 years 10 months ago

Squarepants in a Tree: Sum of Subtree Clustering and Hyperbolic Pants Decomposition

Download www.ics.uci.edu

David Eppstein

claim paper

Read More »

« Prev « First page 5 / 129 Last » Next »