Evaluation of properties over phylogenetic trees using stochastic logics

BACKGROUND: Model checking has been recently introduced as an integrated framework for extracting information of the phylogenetic trees using temporal logics as a querying language, an extension of modal logics that imposes restrictions of a boolean formula along a path of events. The phylogenetic t...

Descripción completa

Detalles Bibliográficos
Autores principales: Requeno, José Ignacio, Colom, José Manuel
Formato: Online Artículo Texto
Lenguaje:English
Publicado: BioMed Central 2016
Materias:
Methodology Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4908722/
https://www.ncbi.nlm.nih.gov/pubmed/27301397
http://dx.doi.org/10.1186/s12859-016-1077-7

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4908722/
https://www.ncbi.nlm.nih.gov/pubmed/27301397
http://dx.doi.org/10.1186/s12859-016-1077-7

Ejemplares similares