Search Sciweavers | Sciweavers

11345 search results - page 316 / 2269

» Foundations of Computer Science

129

click to vote

TLCA
1997
Springer

94views Theoretical Computer Science» more TLCA 1997»

Primitive Recursion for Higher-Order Abstract Syntax

15 years 10 months ago

Download www.cs.cmu.edu

Joëlle Despeyroux, Frank Pfenning, Carsten Sc...

claim paper

Read More »

145

click to vote

FOCS
1993
IEEE

61views Theoretical Computer Science» more FOCS 1993»

A Simple Local-Control Approximation Algorithm for Multicommodity Flow

15 years 10 months ago

Download www.cs.jhu.edu

Baruch Awerbuch, Frank Thomson Leighton

claim paper

Read More »

163

click to vote

FOCS
1993
IEEE

78views Theoretical Computer Science» more FOCS 1993»

A Quantum Bit Commitment Scheme Provably Unbreakable by both Parties

15 years 10 months ago

Download crypto.cs.mcgill.ca

Gilles Brassard, Claude Crépeau, Richard Jo...

claim paper

Read More »

153

click to vote

FOCS
1994
IEEE

72views Theoretical Computer Science» more FOCS 1994»

A Theory of Competitive Analysis for Distributed Algorithms

15 years 10 months ago

Download www.cs.yale.edu

Miklós Ajtai, James Aspnes, Cynthia Dwork, ...

claim paper

Read More »

130

click to vote

FOCS
1994
IEEE

132views Theoretical Computer Science» more FOCS 1994»

Approximate Graph Coloring by Semidefinite Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers