From chemical rules to term rewriting

zbMATH Open1276.68088MaRDI QIDQ2863876FDOQ2863876

Authors: Liliana Ibănescu, Hélène Kirchner, Olivier Bournez 

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000375?np=y

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

zbMATH Keywords

rule-based programmingstrategy languageautomated generation of chemical reaction mechanismscyclic labeled graphterm and graph rewriting

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Cited In (7)

• Twenty years of rewriting logic
• Weak Algebraic Hyperstructures as a Model for Interpretation of Chemical Reactions
• A software package for chemically inspired graph transformation
• 50 Shades of Rule Composition
• Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
• A rewriting calculus for multigraphs with ports
• Graph Transformations

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)