Confluence up to garbage

DOI10.1007/978-3-030-51372-6_2zbMATH Open1502.68147OpenAlexW3037550422MaRDI QIDQ5100723FDOQ5100723

Authors: Graham Campbell, Detlef Plump 

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

Recommendations

• Confluence up to garbage in graph transformation
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Confluence for graph transformations
• \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
• Confluence of indirection reductions in graph rewrite systems

zbMATH Keywords

confluencedecision proceduresgraph transformationgraph languages

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Adjunction for Garbage Collection with Application to Graph Rewriting
• Confluence up to garbage in graph transformation
• String diagram rewrite theory III: Confluence with and without Frobenius

Uses Software

• GP 2

This page was built for publication: Confluence up to garbage

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100723)