Cargando…
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
The Kappa biochemistry and the MØD organo-chemistry frameworks are amongst the most intensely developed applications of rewriting theoretical methods in the life sciences to date. A typical feature of these types of rewriting theories is the necessity to implement certain structural constraints on t...
Autores principales: | Behr, Nicolas, Krivine, Jean |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7314866/ http://dx.doi.org/10.1007/978-3-030-51372-6_11 |
Ejemplares similares
-
Certifying Proofs in the First-Order Theory of Rewriting
por: Mitterwallner, Fabian, et al.
Publicado: (2021) -
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification
por: Middeldorp, Aart, et al.
Publicado: (2023) -
A partial evaluation methodology for optimizing rewrite theories incrementally
por: Alpuente, María, et al.
Publicado: (2022) -
Introduction to axiomatic set theory
por: Krivine, Jean-Louis
Publicado: (1971) -
Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting
por: Lochmann, Alexander, et al.
Publicado: (2020)