scientific article; zbMATH DE number 3548465
From MaRDI portal
Publication:4122833
Cited in
(24)- String diagram rewrite theory III: Confluence with and without Frobenius
- Collapsed tree rewriting: Completeness, confluence, and modularity
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Parallel rewriting of attributed graphs
- Parallelism and concurrency of graph manipulations
- Processes of transforming structures
- Moving a derivation along a derivation preserves the spine in adhesive categories
- Basic results for two types of high-level replacement systems
- Rewriting modulo traced comonoid structure
- scientific article; zbMATH DE number 7456063 (Why is no real title available?)
- Confluence of graph rewriting with interfaces
- An algebraic characterization of independence of Petri net processes
- Confluence up to garbage
- Confluence up to garbage in graph transformation
- On edge addition rewrite systems and their relevance to program analysis
- Formalising the double-pushout approach to graph transformation
- Left-linear rewriting in adhesive categories
- A graph-transformational approach for proving the correctness of reductions between NP-problems
- Multi-amalgamated triple graph grammars
- Rule algebras for adhesive categories
- Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem
- Moving a derivation along a derivation preserves the spine
- Parallel coherent graph transformations
- On termination of graph rewriting
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4122833)
