Search Sciweavers | Sciweavers

10392 search results - page 273 / 2079

» Introduction to Computer Science

120

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 »

146

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 »

196

click to vote

WG
1993
Springer

138views Theoretical Computer Science» more WG 1993»

The Asynchronous Committee Meeting Problem

15 years 10 months ago

Download www.maths.lse.ac.uk

Javier Esparza, Bernhard von Stengel

claim paper

Read More »

173

click to vote

WG
1994
Springer

131views Theoretical Computer Science» more WG 1994»

Complexity of Graph Covering Problems

15 years 10 months ago

Download reference.kfupm.edu.sa

Jan Kratochvíl, Andrzej Proskurowski, Jan A...

claim paper

Read More »

169

click to vote

MFCS
1992
Springer

93views Theoretical Computer Science» more MFCS 1992»

On Range Searching with Semialgebraic Sets

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers