A living monograph for graph transformation
From MaRDI portal
Publication:6535522
DOI10.1007/978-3-031-36709-0_15zbMATH Open1545.68055MaRDI QIDQ6535522
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
- Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978
- Concurrency theorems for non-linear rewriting theories
- Fundamentals of algebraic graph transformation
- On the axioms for adhesive and quasiadhesive categories
- Handbook of Graph Grammars and Computing by Graph Transformation
- Interactive and automated proofs for graph transformations
- Handbook of Graph Grammars and Computing by Graph Transformation
- QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
- Large Formal Wikis: Issues and Solutions
- Adhesive and quasiadhesive categories
- Fundamentals of compositional rewriting theory
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)
