Theory and Applications of Models of Computation (TAMC 2008–2009)
Editorial Preface
Preface to Special Issue: Theory and Applications of Models of Computation (TAMC 2008–2009)
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 705-706
-
- Article
-
- You have access
- Export citation
Paper
Quantitative aspects of speed-up and gap phenomena
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 707-722
-
- Article
- Export citation
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 723-751
-
- Article
- Export citation
Bounded minimalisation and bounded counting in argument-bounded idc's
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 753-779
-
- Article
- Export citation
Weak bisimulations for the Giry monad†
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 781-798
-
- Article
- Export citation
Diamond embeddings into the enumeration degrees
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 799-811
-
- Article
- Export citation
Tilings: simulation and universality
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 813-850
-
- Article
- Export citation
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
Axiomatic semantics of projection temporal logic programs†
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 865-914
-
- Article
- Export citation
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
A separation between divergence and Holevo information for ensembles
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 977-993
-
- Article
- 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