Search Sciweavers | Sciweavers

10447 search results - page 370 / 2090

» The Philosophy of Computer Science

188

click to vote

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

16 years 1 months ago

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

172

click to vote

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

16 years 1 months ago

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

139

click to vote

SCCC
2007
IEEE

79views Theoretical Computer Science» more SCCC 2007»

Reducing Component Systems' Behavior Specification

16 years 1 months ago

Download d3s.mff.cuni.cz

Viliam Holub, Frantisek Plasil

claim paper

Read More »

130

click to vote

CSR
2007
Springer

85views Theoretical Computer Science» more CSR 2007»

Symmetry of Information and Nonuniform Lower Bounds

16 years 1 months ago

Download www.ens-lyon.fr

Sylvain Perifel

claim paper

Read More »

121

Voted

CSR
2007
Springer

98views Theoretical Computer Science» more CSR 2007»

Sequences of Level 1, 2, 3, ..., k , ..

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers