Search Sciweavers | Sciweavers

10271 search results - page 224 / 2055

» Computer Science

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

An Abstract Notion of Application

15 years 7 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell

claim paper

Read More »

click to vote

TLCA
1993
Springer

109views Theoretical Computer Science» more TLCA 1993»

Modified Realizability Toposes and Strong Normalization Proofs

15 years 7 months ago

Download www.dpmms.cam.ac.uk

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

claim paper

Read More »

147

click to vote

WG
1993
Springer

138views Theoretical Computer Science» more WG 1993»

The Asynchronous Committee Meeting Problem

15 years 7 months ago

Download www.maths.lse.ac.uk

Javier Esparza, Bernhard von Stengel

claim paper

Read More »

127

click to vote

WG
1994
Springer

131views Theoretical Computer Science» more WG 1994»

Complexity of Graph Covering Problems

15 years 7 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

116

click to vote

MFCS
1992
Springer

93views Theoretical Computer Science» more MFCS 1992»

On Range Searching with Semialgebraic Sets

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers