A System for the Verification of Phylogenetic Trees in Godel

Research output: Working paper

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

Other: CSTR-95-023

Access to Document

@techreport{0e3c659403c94902b8bc75866baaf81e,

title = "A System for the Verification of Phylogenetic Trees in Godel",

author = "Laura Lafave",

note = "Other: CSTR-95-023",

year = "1995",

language = "English",

publisher = "Department of Computer Science, University of Bristol",

type = "WorkingPaper",

institution = "Department of Computer Science, University of Bristol",

}