Search Sciweavers | Sciweavers

10271 search results - page 128 / 2055

» Computer Science

163

click to vote

ECA
1994

192views Theoretical Computer Science» more ECA 1994»

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

15 years 8 months ago

Download www.cse.unsw.edu.au

Shelly Warwick

claim paper

Read More »

155

click to vote

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 8 months ago

Download www.daimi.au.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

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 8 months ago

Download scidok.sulb.uni-saarland.de

Kurt Sieber

claim paper

Read More »

Voted

MFCS
1994
Springer

117views Theoretical Computer Science» more MFCS 1994»

On-Line Scheduling of Parallel Jobs

15 years 8 months ago

Download www.ceid.upatras.gr

Jiri Sgall

claim paper

Read More »

click to vote

MFCS
1994
Springer

93views Theoretical Computer Science» more MFCS 1994»

Stable Bistructure Models of PCF

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers