Search Sciweavers | Sciweavers

17920 search results - page 364 / 3584

» Recentering computer science

140

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 »

119

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 »

131

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

Download www.cs.washington.edu

Paul Beame, Allan Borodin, Prabhakar Raghavan, Wal...

claim paper

Read More »

133

click to vote

FOCS
1990
IEEE

63views Theoretical Computer Science» more FOCS 1990»

Security Preserving Amplification of Hardness

15 years 10 months ago

Download www.busim.ee.boun.edu.tr

Oded Goldreich, Russell Impagliazzo, Leonid A. Lev...

claim paper

Read More »

139

click to vote

FOCS
1990
IEEE

90views Theoretical Computer Science» more FOCS 1990»

Decision Problems for Propositional Linear Logic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers