Phylogenetic incongruence through the lens of Monadic Second Order logic.
Steven KelkLeo van IerselCéline ScornavaccaMathias WellerPublished in: J. Graph Algorithms Appl. (2016)
Keyphrases
- monadic second order logic
- gene trees
- expressive power
- data complexity
- regular expressions
- tree automata
- first order logic
- query language
- evolutionary history
- query answering
- horizontal gene transfer
- dynamic programming
- artificial intelligence
- phylogenetic trees
- sufficient conditions
- special case
- data analysis
- high level