Pages that link to "Item:Q4931317"

The following pages link to Graph Rewriting in Span-Categories (Q4931317):

Displaying 10 items.

• Deduction as reduction, from a categorical point of view (Q382412) (← links)
• Algebraic graph rewriting with controlled embedding (Q2007726) (← links)
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
• Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
• Partial pullback complement rewriting along admissible matches (Q2055979) (← links)
• Partial pullback complement rewriting (Q2355683) (← links)
• Polymorphic Sesqui-Pushout Graph Rewriting (Q2947207) (← links)
• AGREE – Algebraic Graph Rewriting with Controlled Embedding (Q2947209) (← links)
• Model Transformation and Induced Instance Migration: A Universal Framework (Q3098049) (← links)
• Sesqui-Pushout Rewriting with Type Refinements (Q3187801) (← links)