Search Sciweavers | Sciweavers

10271 search results - page 222 / 2055

» Computer Science

110

click to vote

TLCA
1997
Springer

94views Theoretical Computer Science» more TLCA 1997»

Primitive Recursion for Higher-Order Abstract Syntax

15 years 9 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

124

click to vote

FOCS
1993
IEEE

61views Theoretical Computer Science» more FOCS 1993»

A Simple Local-Control Approximation Algorithm for Multicommodity Flow

15 years 9 months ago

Download www.cs.jhu.edu

Baruch Awerbuch, Frank Thomson Leighton

claim paper

Read More »

141

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 9 months ago

Download crypto.cs.mcgill.ca

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

claim paper

Read More »

128

click to vote

FOCS
1994
IEEE

72views Theoretical Computer Science» more FOCS 1994»

A Theory of Competitive Analysis for Distributed Algorithms

15 years 9 months ago

Download www.cs.yale.edu

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

claim paper

Read More »

107

click to vote

FOCS
1994
IEEE

132views Theoretical Computer Science» more FOCS 1994»

Approximate Graph Coloring by Semidefinite Programming

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers