Formal biochemical space with semantics in Kappa and BNGL
From MaRDI portal
Publication:1744366
DOI10.1016/j.entcs.2016.09.017zbMath1401.92076WikidataQ113317656 ScholiaQ113317656MaRDI QIDQ1744366
Luboš Brim, David Šafránek, T. Děd, M. Klement, Matej Troják, Jakub Šalagovič
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.017
68Q45: Formal languages and automata
92C40: Biochemistry, molecular biology
68Q55: Semantics in the theory of computing
Uses Software