A System for the Verification of Phylogenetic Trees in Godel

Laura Lafave

Research output: Working paper

Translated title of the contributionA System for the Verification of Phylogenetic Trees in Godel
Original languageEnglish
PublisherDepartment of Computer Science, University of Bristol
Number of pages11
Publication statusPublished - 1995

Bibliographical note

Other: CSTR-95-023

Cite this