Login / Signup
Phylogenetic incongruence through the lens of Monadic Second Order logic.
Steven Kelk
Leo van Iersel
Céline Scornavacca
Published in:
CoRR (2015)
Keyphrases
</>
monadic second order logic
gene trees
expressive power
data complexity
tree automata
first order logic
regular expressions
query language
evolutionary history
query answering
horizontal gene transfer
phylogenetic trees
sequence data
finite automata
computational biology
pattern matching
object oriented