Search Sciweavers | Sciweavers

265 search results - page 1 / 53

» entcs 2007

click to vote

ENTCS
2007

70views more ENTCS 2007»

De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure

13 years 4 months ago

Download www.mscs.dal.ca

Bob Coecke

claim paper

Read More »

click to vote

ENTCS
2007

68views more ENTCS 2007»

Modelling Generic Judgements

13 years 4 months ago

Download www2.tcs.ifi.lmu.de

Ulrich Schöpp

claim paper

Read More »

click to vote

ENTCS
2007

94views more ENTCS 2007»

Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption

13 years 4 months ago

Download www.lsv.ens-cachan.fr

Pascal Lafourcade

claim paper

Read More »

click to vote

ENTCS
2007

89views more ENTCS 2007»

A Well-behaved LTS for the Pi-calculus: (Abstract)

13 years 4 months ago

Download www.cse.unsw.edu.au

Pawel Sobocinski

claim paper

Read More »

click to vote

ENTCS
2007

74views more ENTCS 2007»

State-oriented Noninterference for CCS

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers