A System for the Verification of Phylogenetic Trees in Godel

Laura Lafave

Research output: Working paperWorking paper and Preprints

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