A living monograph for graph transformation
From MaRDI portal
Publication:6535522
Recommendations
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
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)