330 search results - page 27 / 66 » Phylogenetic trees in ACL2 |
112
click to vote
JAR
2007
15 years 1 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
BIOINFORMATICS
2004
15 years 1 months ago
2004
BIOINFORMATICS
2004
15 years 1 months ago
2004
JCO
2010
15 years 6 hour ago
2010
121
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Phylogenetic profiles of proteins − strings of ones and zeros encoding respectively the presence and absence of proteins in a group of genomes − have recently been used to iden...