Search Sciweavers | Sciweavers

13306 search results - page 134 / 2662

» Theoretical Computer Science

103

click to vote

RTA
2001
Springer

103views Theoretical Computer Science» more RTA 2001»

Relating Accumulative and Non-accumulative Functional Programs

15 years 9 months ago

Download repository.readscheme.org

Armin Kühnemann, Robert Glück, Kazuhiko ...

claim paper

Read More »

102

Voted

STACS
2001
Springer

84views Theoretical Computer Science» more STACS 2001»

2-Nested Simulation Is Not Finitely Equationally Axiomatizable

15 years 9 months ago

Download www.brics.dk

Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...

claim paper

Read More »

104

Voted

WG
2001
Springer

69views Theoretical Computer Science» more WG 2001»

Planarity of the 2-Level Cactus Model

15 years 9 months ago

Download www.ub.uni-konstanz.de

Sabine Cornelsen, Yefim Dinitz, Dorothea Wagner

claim paper

Read More »

121

click to vote

FOCS
2000
IEEE

90views Theoretical Computer Science» more FOCS 2000»

Hardness of Approximate Hypergraph Coloring

15 years 9 months ago

Download www.csc.kth.se

Venkatesan Guruswami, Johan Håstad, Madhu Su...

claim paper

Read More »

107

click to vote

FOCS
2000
IEEE

64views Theoretical Computer Science» more FOCS 2000»

"Soft-decision" Decoding of Chinese Remainder Codes

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers