Sciweavers

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