A living monograph for graph transformation
From MaRDI portal
Publication:6535522
DOI10.1007/978-3-031-36709-0_15zbMATH Open1545.68055MaRDI QIDQ6535522FDOQ6535522
Authors: Nicolas Behr, Russ Harmer 
Publication date: 12 January 2024
Grammars and rewriting systems (68Q42) Formalization of mathematics in connection with theorem provers (68V20) Digital mathematics libraries and repositories (68V35)
Cites Work
- Handbook of Graph Grammars and Computing by Graph Transformation
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Handbook of Graph Grammars and Computing by Graph Transformation
- Fundamentals of algebraic graph transformation
- Title not available (Why is that?)
- On the axioms for adhesive and quasiadhesive categories
- Adhesive and quasiadhesive categories
- Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
- Fundamentals of compositional rewriting theory
- Title not available (Why is that?)
- Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978
- Title not available (Why is that?)
- Concurrency theorems for non-linear rewriting theories
- Large formal wikis: issues and solutions
- QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
- Title not available (Why is that?)
- Interactive and automated proofs for graph transformations
- Title not available (Why is that?)
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)
