Pages that link to "Item:Q2947209"

The following pages link to AGREE – Algebraic Graph Rewriting with Controlled Embedding (Q2947209):

Displaying 17 items.

• The PBPO graph transformation approach (Q1734525) (← links)
• Algebraic graph rewriting with controlled embedding (Q2007726) (← links)
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
• Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
• Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
• Parallel rewriting of attributed graphs (Q2215963) (← links)
• Parallel coherent graph transformations (Q2237338) (← links)
• Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
• Unification of drags and confluence of drag rewriting (Q2683036) (← links)
• AGREE – Algebraic Graph Rewriting with Controlled Embedding (Q2947209) (← links)
• Sesqui-Pushout Rewriting with Type Refinements (Q3187801) (← links)
• Parallelism in AGREE Transformations (Q3187802) (← links)
• (Q5020536) (← links)
• Patch Graph Rewriting (Q5100730) (← links)
• Fundamentals of compositional rewriting theory (Q6052944) (← links)
• Computational category-theoretic rewriting (Q6113023) (← links)
• Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)