Search Sciweavers | Sciweavers

10392 search results - page 160 / 2079

» Introduction to Computer Science

137

click to vote

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 6 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 6 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 6 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 6 months ago

Download www.brics.dk

Glynn Winskel

claim paper

Read More »

click to vote

FOCS
1992
IEEE

135views Theoretical Computer Science» more FOCS 1992»

Back to the Future: Towards a Theory of Timed Regular Languages

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers