From chemical rules to term rewriting

MaRDI QIDQ2863876zbMATH OpenFDO

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

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)

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)