Phylogenetic trees in ACL2.

Warren A. Hunt Jr.Serita M. Nelesen

Published in: ACL2 (2006)

Keyphrases

phylogenetic trees
natural language learning
computational biology
tree structures
evolutionary history
database
knowledge base
database systems
databases