Search Sciweavers | Sciweavers

10271 search results - page 337 / 2055

» Computer Science

119

click to vote

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

15 years 10 months ago

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

112

click to vote

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

15 years 10 months ago

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

Voted

SCCC
2007
IEEE

79views Theoretical Computer Science» more SCCC 2007»

Reducing Component Systems' Behavior Specification

15 years 10 months ago

Download d3s.mff.cuni.cz

Viliam Holub, Frantisek Plasil

claim paper

Read More »

Voted

CSR
2007
Springer

85views Theoretical Computer Science» more CSR 2007»

Symmetry of Information and Nonuniform Lower Bounds

15 years 10 months ago

Download www.ens-lyon.fr

Sylvain Perifel

claim paper

Read More »

Voted

CSR
2007
Springer

98views Theoretical Computer Science» more CSR 2007»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers