A correct proof of the McMorris-Powers' theorem on the consensus of phylogenies.

Bhalchandra D. Thatte

Published in: Discret. Appl. Math. (2007)

Keyphrases

interactive theorem proving
information retrieval
theorem proving
database
neural network
information systems
artificial neural networks
theorem prover
proof planning