scientific article; zbMATH DE number 7809761
From MaRDI portal
Publication:6121514
arXiv2301.12912MaRDI QIDQ6121514
Publication date: 27 February 2024
Full work available at URL: https://arxiv.org/abs/2301.12912
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Algebraic approach to single-pushout graph transformation
- A tutorial on graph transformation
- The PBPO graph transformation approach
- Graph rewriting and relabeling with PBPO\textsuperscript{+}
- Fundamentals of algebraic graph transformation
- Double-pushout graph transformation revisited
- AGREE – Algebraic Graph Rewriting with Controlled Embedding
- Sesqui-Pushout Rewriting
- Graph-Based Algorithms for Boolean Function Manipulation
- Logic in Computer Science
- Pullback as a generic graph rewriting mechanism
- A uniform approach to graph rewriting: The pullback approach
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: