"Reasoning" . "Sequence alignment algorithms" . "Sources of knowledge" . "Phylogenetics" . "Tree of life (biology)" . "Computational phylogenetics" . "Algorithms on strings" . "Evolutionary developmental biology" . "Logic and statistics" . "Logical consequence" . "Bioinformatics algorithms" . "Concepts in logic" . "Trees (data structures)" .