8 results
Two-domain DNA strand displacement
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 2 / April 2013
- Published online by Cambridge University Press:
- 28 February 2013, pp. 247-271
-
- Article
- Export citation
Turing universality of the Biochemical Ground Form
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 1 / February 2010
- Published online by Cambridge University Press:
- 26 February 2010, pp. 45-73
-
- Article
- Export citation
23 - Can a systems biologist fix a Tamagotchi?
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 517-528
-
- Chapter
- Export citation
Operations on records
-
- Journal:
- Mathematical Structures in Computer Science / Volume 1 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 04 March 2009, pp. 3-48
-
- Article
- Export citation
A semantic basis for Quest
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 4 / October 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 417-458
-
- Article
-
- You have access
- Export citation
Deciding validity in a spatial logic for trees
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 4 / July 2005
- Published online by Cambridge University Press:
- 05 January 2005, pp. 543-572
-
- Article
-
- You have access
- Export citation
TQL: a query language for semistructured data based on the ambient logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 3 / June 2004
- Published online by Cambridge University Press:
- 20 May 2004, pp. 285-327
-
- Article
- Export citation
Equational properties of mobile ambients
-
- Journal:
- Mathematical Structures in Computer Science / Volume 13 / Issue 3 / June 2003
- Published online by Cambridge University Press:
- 20 May 2003, pp. 371-408
-
- Article
- Export citation