From chemical rules to term rewriting
From MaRDI portal
Publication:2863876
Recommendations
- Rule composition in graph transformation models of chemical reactions
- scientific article; zbMATH DE number 1629834
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
- scientific article; zbMATH DE number 1264617
- Term Rewriting and All That
- scientific article; zbMATH DE number 4155899
- scientific article; zbMATH DE number 1368955
- Weak Algebraic Hyperstructures as a Model for Interpretation of Chemical Reactions
Cited in
(7)- A software package for chemically inspired graph transformation
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
- 50 Shades of Rule Composition
- Weak Algebraic Hyperstructures as a Model for Interpretation of Chemical Reactions
- Graph Transformations
- A rewriting calculus for multigraphs with ports
- Twenty years of rewriting logic
This page was built for publication: From chemical rules to term rewriting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863876)