Sign in
Strand Algebras for DNA Computing.
Luca Cardelli
Published in:
DNA (2009)
Keyphrases
</>
dna computing
dna sequences
implicit enumeration
spatial reasoning
topological spaces
clifford algebra
distributive lattices
relation algebra
lower bound
temporal reasoning
secondary structure
databases
artificial intelligence