Search Sciweavers | Sciweavers

17920 search results - page 154 / 3584

» Recentering computer science

210

click to vote

ECA
1994

192views Theoretical Computer Science» more ECA 1994»

Abstraction, ethics and software: why don't the rules work?

15 years 11 months ago

Download www.cse.unsw.edu.au

Shelly Warwick

claim paper

Read More »

193

Voted

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 11 months ago

Download www.daimi.au.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

126

Voted

MFCS
1994
Springer

86views Theoretical Computer Science» more MFCS 1994»

Full Abstraction for the Second Order Subset of an Algol-Like Language

15 years 11 months ago

Download scidok.sulb.uni-saarland.de

Kurt Sieber

claim paper

Read More »

122

click to vote

MFCS
1994
Springer

117views Theoretical Computer Science» more MFCS 1994»

On-Line Scheduling of Parallel Jobs

15 years 11 months ago

Download www.ceid.upatras.gr

Jiri Sgall

claim paper

Read More »

126

click to vote

MFCS
1994
Springer

93views Theoretical Computer Science» more MFCS 1994»

Stable Bistructure Models of PCF

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers