(Mathematical) logic for systems biology (invited paper)

DOI10.1007/978-3-319-45177-0_1zbMath1382.92142arXiv1701.05063OpenAlexW3104326986MaRDI QIDQ1706576

Joëlle Despeyroux

Publication date: 22 March 2018

Full work available at URL: https://arxiv.org/abs/1701.05063

zbMATH Keywords

sequent calculussystems biology

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Systems biology, networks (92C42)

Related Items (1)

Unnamed Item

Uses Software

• Unnamed Item

This page was built for publication: (Mathematical) logic for systems biology (invited paper)