Search Sciweavers | Sciweavers

17920 search results - page 280 / 3584

» Recentering computer science

127

click to vote

STACS
1993
Springer

81views Theoretical Computer Science» more STACS 1993»

Exact Algorithms for a Geometric Packing Problem (Extended Abstract)

15 years 10 months ago

Download www.mpi-inf.mpg.de

Ludek Kucera, Kurt Mehlhorn, B. Preis, E. Schwarze...

claim paper

Read More »

125

click to vote

TLCA
1993
Springer

102views Theoretical Computer Science» more TLCA 1993»

Pure Type Systems Formalized

15 years 10 months ago

Download eref.uqu.edu.sa

James McKinna, Robert Pollack

claim paper

Read More »

113

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

An Abstract Notion of Application

15 years 10 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell

claim paper

Read More »

132

click to vote

TLCA
1993
Springer

109views Theoretical Computer Science» more TLCA 1993»

Modified Realizability Toposes and Strong Normalization Proofs

15 years 10 months ago

Download www.dpmms.cam.ac.uk

J. M. E. Hyland, C.-H. Luke Ong

claim paper

Read More »

183

click to vote

WG
1993
Springer

138views Theoretical Computer Science» more WG 1993»

The Asynchronous Committee Meeting Problem

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers