Sign in

Strand algebras for DNA computing.

Luca Cardelli
Published in: Nat. Comput. (2011)
Keyphrases
  • dna computing
  • dna sequences
  • implicit enumeration
  • topological spaces
  • distributive lattices
  • spatial reasoning
  • mobile devices
  • response time
  • database
  • intelligent agents
  • temporal reasoning