scientific article; zbMATH DE number 3548465

zbMath0352.68096MaRDI QIDQ4122833

Hartmut Ehrig, Hans-Joerg Kreowski

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Information storage and retrieval of data (68P20)

Related Items (18)

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

This page was built for publication: