A living monograph for graph transformation

DOI10.1007/978-3-031-36709-0_15zbMATH1545.68055MaRDI QIDQ6535522FDOQ6535522

Authors Nicolas Behr, Russ Harmer

Publication date 12 January 2024

zbMATH Keywords

graph transformationformalised mathematicscollaborative mathematics

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formalization of mathematics in connection with theorem provers (68V20) Digital mathematics libraries and repositories (68V35)

Recommendations

• Algebraic properties and transformations of monographs
• Handbook of Graph Grammars and Computing by Graph Transformation
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 1953883
• scientific article; zbMATH DE number 1231497

Cites work

• scientific article; zbMATH DE number 2016090 (Why is no real title available?)
• scientific article; zbMATH DE number 2016091 (Why is no real title available?)
• scientific article; zbMATH DE number 1479613 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• Adhesive and quasiadhesive categories
• Concurrency theorems for non-linear rewriting theories
• Fundamentals of algebraic graph transformation
• Fundamentals of compositional rewriting theory
• Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978
• Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Interactive and automated proofs for graph transformations
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Large formal wikis: issues and solutions
• On the axioms for adhesive and quasiadhesive categories
• QED reloaded: towards a pluralistic formal library of mathematical knowledge
• Towards mechanised proofs in double-pushout graph transformation

Cited in

(1)

• Algebraic properties and transformations of monographs

This page was built for publication: A living monograph for graph transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535522)