scientific article; zbMATH DE number 3548465
From MaRDI portal
zbMath0352.68096MaRDI QIDQ4122833
Hartmut Ehrig, Hans-Joerg Kreowski
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Collapsed tree rewriting: Completeness, confluence, and modularity, Multi-amalgamated Triple Graph Grammars, Confluence up to Garbage, On termination of graph rewriting, Parallelism and concurrency of graph manipulations, Unnamed Item, Processes of transforming structures, Parallel rewriting of attributed graphs, Unnamed Item, Confluence of Graph Rewriting with Interfaces, Parallel coherent graph transformations, On edge addition rewrite systems and their relevance to program analysis, Basic Results for Two Types of High-Level Replacement Systems, On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems, Confluence up to garbage in graph transformation, An algebraic characterization of independence of Petri net processes, Rule Algebras for Adhesive Categories, String diagram rewrite theory III: Confluence with and without Frobenius
