Search Sciweavers | Sciweavers

10271 search results - page 305 / 2055

» Computer Science

103

Voted

FOCS
1992
IEEE

73views Theoretical Computer Science» more FOCS 1992»

Fault Tolerant Graphs, Perfect Hash Functions and Disjoint Paths

15 years 10 months ago

Download www.cs.tau.ac.il

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

claim paper

Read More »

139

Voted

RTA
1993
Springer

76views Theoretical Computer Science» more RTA 1993»

More Problems in Rewriting

15 years 10 months ago

Download www.cs.tau.ac.il

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

claim paper

Read More »

130

click to vote

TLCA
1993
Springer

85views Theoretical Computer Science» more TLCA 1993»

A Term Calculus for Intuitionistic Linear Logic

15 years 10 months ago

Download www.dpmms.cam.ac.uk

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

claim paper

Read More »

110

click to vote

STACS
1994
Springer

103views Theoretical Computer Science» more STACS 1994»

The Global Power of Additional Queries to Random Oracles

15 years 10 months ago

Download www.cs.uml.edu

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

claim paper

Read More »

124

click to vote

FOCS
1990
IEEE

74views Theoretical Computer Science» more FOCS 1990»

Time-Space Tradeoffs for Undirected Graph Traversal

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers