Translated title of the contribution | A System for the Verification of Phylogenetic Trees in Godel |
---|---|
Original language | English |
Publisher | Department of Computer Science, University of Bristol |
Number of pages | 11 |
Publication status | Published - 1995 |
A System for the Verification of Phylogenetic Trees in Godel
Laura Lafave
Research output: Working paper