Pages that link to "Item:Q2988637"

The following pages link to Confluence of Graph Rewriting with Interfaces (Q2988637):

Displaying 10 items.

• Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
• Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
• Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
• Unification of drags and confluence of drag rewriting (Q2683036) (← links)
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
• String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
• Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
• (Q5875361) (← links)
• String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
• A Category of Surface-Embedded Graphs (Q6150141) (← links)