scientific article; zbMATH DE number 3548465
From MaRDI portal
Publication:4122833
zbMATH Open0352.68096MaRDI QIDQ4122833FDOQ4122833
Authors: Hartmut Ehrig, Hans-Jörg Kreowski 
Publication date: 1976
Title of this publication is not available (Why is that?)
Cited In (21)
- 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
- Multi-amalgamated Triple Graph Grammars
- Confluence up to Garbage
- Rule Algebras for Adhesive Categories
- Basic results for two types of high-level replacement systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- An algebraic characterization of independence of Petri net processes
- On edge addition rewrite systems and their relevance to program analysis
- Formalising the double-pushout approach to graph transformation
- Confluence up to garbage in graph transformation
- Confluence of Graph Rewriting with Interfaces
- Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem
- Moving a derivation along a derivation preserves the spine
- On termination of graph rewriting
- Parallel coherent graph transformations
- String diagram rewrite theory III: Confluence with and without Frobenius
- Collapsed tree rewriting: Completeness, confluence, and modularity
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)
