A Tractable Logic for Molecular Biology.

Adrien Husson Jean Krivine

Published in: ICLP Technical Communications (2019)

Keyphrases

molecular biology
protein structure
computational biology
biological data
microarray
biological databases
nucleotide sequences
phylogenetic analysis
modal logic
amino acid sequences
machine learning
biological sequences
data processing
data collection
systems biology
protein functional