Formal Molecular Biology Done in CCS-R.

Vincent Danos Jean Krivine

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

molecular biology
biological data
computational biology
protein structure
nucleotide sequences
biological databases
microarray
phylogenetic analysis
biological sequences
systems biology
dna microarray
information retrieval
real time
monitoring system
high throughput
metadata
data sets