(Mathematical) Logic for Systems Biology (Invited Paper)

CMSB, Volume abs/1701.05063, 2016.

被引用0|引用|浏览3|
EI
其它链接dblp.uni-trier.de|academic.microsoft.com|arxiv.org

摘要

We advocates here the use of (mathematical) logic for systems biology, as a unified framework well suited for both modeling the dynamic behaviour of biological systems, expressing properties of them, and verifying these properties. The potential candidate logics should have a traditional proof theoretic pedigree (including a sequent calcu...更多

代码

数据

您的评分 :
0

 

标签
评论