Paper
On universal algebra over nominal sets
-
- Published online by Cambridge University Press:
- 25 March 2010, pp. 285-318
-
- Article
- Export citation
Quantum walks and elliptic integrals
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1091-1098
-
- Article
- Export citation
Realisability semantics of parametric polymorphism, general references and recursive types
-
- Published online by Cambridge University Press:
- 02 July 2010, pp. 655-703
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
MSC volume 20 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 25 March 2010, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Paper
A practical parameterised algorithm for the individual haplotyping problem MLF†
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 851-863
-
- Article
- Export citation
Back Cover (IBC, OBC) and matter
MSC volume 20 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 11 May 2010, pp. b1-b7
-
- Article
-
- You have access
- Export citation
Paper
On the von Neumann entropy of certain quantum walks subject to decoherence†
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1099-1115
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
MSC volume 20 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 13 July 2010, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
MSC volume 20 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 25 March 2010, pp. b1-b4
-
- Article
-
- You have access
- Export citation
Paper
Axiomatic semantics of projection temporal logic programs†
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 865-914
-
- Article
- Export citation
Quantum algorithmic methods for computational geometry
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1117-1125
-
- Article
- Export citation
Back Cover (IBC, OBC) and matter
MSC volume 20 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 13 July 2010, pp. b1-b4
-
- Article
-
- You have access
- Export citation
Paper
Connection between logical and algebraic approaches to concurrent systems†
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 915-950
-
- Article
- Export citation
The computational SLR: a logic for reasoning about computational indistinguishability
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 951-975
-
- Article
- Export citation
Author Index
Author Index to Volume 20
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1127-1129
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
MSC volume 20 issue 6 Cover and Front matter
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Paper
A separation between divergence and Holevo information for ensembles
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 977-993
-
- Article
- Export citation
Back Cover (IBC, OBC) and matter
MSC volume 20 issue 6 Cover and Back matter
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Front Cover (OFC, IFC) and matter
MSC volume 20 issue 5 Cover and Front matter
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
MSC volume 20 issue 5 Cover and Back matter
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. b1-b8
-
- Article
-
- You have access
- Export citation