Sciweavers

13306 search results - page 134 / 2662
» Theoretical Computer Science
Sort
View
RTA
2001
Springer
15 years 2 months ago
Relating Accumulative and Non-accumulative Functional Programs
Armin Kühnemann, Robert Glück, Kazuhiko ...
STACS
2001
Springer
15 years 2 months ago
2-Nested Simulation Is Not Finitely Equationally Axiomatizable
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
WG
2001
Springer
15 years 2 months ago
Planarity of the 2-Level Cactus Model
Sabine Cornelsen, Yefim Dinitz, Dorothea Wagner
FOCS
2000
IEEE
15 years 2 months ago
Hardness of Approximate Hypergraph Coloring
Venkatesan Guruswami, Johan Håstad, Madhu Su...
FOCS
2000
IEEE
15 years 2 months ago
"Soft-decision" Decoding of Chinese Remainder Codes
Venkatesan Guruswami, Amit Sahai, Madhu Sudan