scientific article; zbMATH DE number 7456060
From MaRDI portal
Publication:5021230
Publication date: 12 January 2022
Full work available at URL: https://arxiv.org/abs/2102.02364
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Fundamentals of compositional rewriting theory ⋮ A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity ⋮ Unnamed Item ⋮ Concurrency theorems for non-linear rewriting theories
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25--26, 2020. Proceedings
- Pattern avoidance in binary trees
- Une théorie combinatoire des séries formelles
- Fundamentals of algebraic graph transformation
- A Software Package for Chemically Inspired Graph Transformation
- Transformation and Refinement of Rigid Structures
- Rule Algebras for Adhesive Categories
- Sesqui-Pushout Rewriting
- Correctness of high-level transformation systems relative to nested conditions
- Markov Chains
- Stochastic mechanics of graph rewriting
- Finitary -adhesive categories
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
This page was built for publication:
