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
- Basic results for two types of high-level replacement systems
- Title not available (Why is that?)
- Confluence of graph rewriting with interfaces
- Confluence up to garbage
- 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
- A graph-transformational approach for proving the correctness of reductions between NP-problems
- Multi-amalgamated triple graph grammars
- Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem
- Moving a derivation along a derivation preserves the spine
- Rule algebras for adhesive categories
- 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)
