Confluence up to Garbage

DOI10.1007/978-3-030-51372-6_2zbMath1502.68147OpenAlexW3037550422MaRDI QIDQ5100723

Detlef Plump, Graham Campbell

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_2

zbMATH Keywords

confluencedecision proceduresgraph transformationgraph languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items

Confluence up to garbage in graph transformation ⋮ String diagram rewrite theory III: Confluence with and without Frobenius

Uses Software

• GP 2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Initial conflicts and dependencies: critical pairs revisited
• Structured gamma
• Exploring conflict reasons for graph transformation systems
• Topology of series-parallel networks
• Fundamentals of algebraic graph transformation
• On theories with a combinatorial definition of 'equivalence'
• Double-pushout graph transformation revisited
• Sequencing with Series-Parallel Precedence Constraints
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Sequencing Jobs to Minimize Total Weighted Completion Time Subject to Precedence Constraints
• Term Rewriting and All That
• Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
• Relational and Kleene-Algebraic Methods in Computer Science
• Processes, Terms and Cycles: Steps on the Road to Infinity
• The monadic second-order logic of graphs : Definable sets of finite graphs