Search Sciweavers | Sciweavers

13306 search results - page 114 / 2662

» Theoretical Computer Science

click to vote

STACS
1998
Springer

77views Theoretical Computer Science» more STACS 1998»

Interactive Protocols on the Reals

15 years 2 months ago

Download www.mccme.ru

Sergei Ivanov, Michel de Rougemont

claim paper

Read More »

click to vote

FOCS
1993
IEEE

61views Theoretical Computer Science» more FOCS 1993»

A Simple Local-Control Approximation Algorithm for Multicommodity Flow

15 years 2 months ago

Download www.cs.jhu.edu

Baruch Awerbuch, Frank Thomson Leighton

claim paper

Read More »

click to vote

TLCA
1993
Springer

102views Theoretical Computer Science» more TLCA 1993»

Pure Type Systems Formalized

15 years 2 months ago

Download eref.uqu.edu.sa

James McKinna, Robert Pollack

claim paper

Read More »

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

An Abstract Notion of Application

15 years 2 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell

claim paper

Read More »

click to vote

WG
1993
Springer

138views Theoretical Computer Science» more WG 1993»

The Asynchronous Committee Meeting Problem

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers