Phylogenetic incongruence through the lens of Monadic Second Order logic
1 : I-SEM, CNRS, University of Montpellier
I-SEM, CNRS, University of Montpellier
2 : Maastricht University
3 : Delft University of Technology
4 : LIRMM, CNRS, University of Montpellier
LIRMM, CNRS, University of Montpellier
- Presentation