scientific article; zbMATH DE number 3548465
From MaRDI portal
Publication:4122833
Cited in
(21)- Processes of transforming structures
- Multi-amalgamated triple graph grammars
- Confluence up to garbage
- An algebraic characterization of independence of Petri net processes
- On termination of graph rewriting
- Basic results for two types of high-level replacement systems
- Parallel coherent graph transformations
- String diagram rewrite theory III: Confluence with and without Frobenius
- Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem
- Moving a derivation along a derivation preserves the spine
- Confluence of graph rewriting with interfaces
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Parallelism and concurrency of graph manipulations
- Rule algebras for adhesive categories
- Collapsed tree rewriting: Completeness, confluence, and modularity
- A graph-transformational approach for proving the correctness of reductions between NP-problems
- On edge addition rewrite systems and their relevance to program analysis
- Parallel rewriting of attributed graphs
- Formalising the double-pushout approach to graph transformation
- scientific article; zbMATH DE number 7456063 (Why is no real title available?)
- Confluence up to garbage in graph transformation
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)
