Search Sciweavers | Sciweavers

10271 search results - page 305 / 2055

» Computer Science

click to vote

FOCS
1992
IEEE

73views Theoretical Computer Science» more FOCS 1992»

Fault Tolerant Graphs, Perfect Hash Functions and Disjoint Paths

15 years 8 months ago

Download www.cs.tau.ac.il

Miklós Ajtai, Noga Alon, Jehoshua Bruck, Ro...

claim paper

Read More »

104

click to vote

RTA
1993
Springer

76views Theoretical Computer Science» more RTA 1993»

More Problems in Rewriting

15 years 8 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Will...

claim paper

Read More »

101

Voted

TLCA
1993
Springer

85views Theoretical Computer Science» more TLCA 1993»

A Term Calculus for Intuitionistic Linear Logic

15 years 8 months ago

Download www.dpmms.cam.ac.uk

P. N. Benton, Gavin M. Bierman, Valeria de Paiva, ...

claim paper

Read More »

click to vote

STACS
1994
Springer

103views Theoretical Computer Science» more STACS 1994»

The Global Power of Additional Queries to Random Oracles

15 years 8 months ago

Download www.cs.uml.edu

Ronald V. Book, Jack H. Lutz, David M. Martin Jr.

claim paper

Read More »

Voted

FOCS
1990
IEEE

74views Theoretical Computer Science» more FOCS 1990»

Time-Space Tradeoffs for Undirected Graph Traversal

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers