activity
20092021
most citedGeneralizing the Splits Equivalence Theorem and Four Gamete Condition: Perfect Phylogeny on Three State Characters

3 citations · 5 across the 6 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2014★ 2 cited

Gödel for Goldilocks: A Rigorous, Streamlined Proof of (a variant of) Gödel's First Incompleteness Theorem

Dan Gusfield

Most discussions of Gödel's theorems fall into one of two types: either they emphasize perceived philosophical, cultural "meanings" of the theorems, and perhaps sketch some of the…