Pages that link to "Item:Q690375"

The following pages link to Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375):

Displaying 10 items.

• Algebraic transformation of unary partial algebras II: Single-pushout approach (Q1285664) (← links)
• Applications of category theory to the area of algebraic specification in computer science (Q1383220) (← links)
• Algebraic transformation of unary partial algebras. I: Double-pushout approach (Q1390937) (← links)
• Categorical approach to horizontal structuring and refinement of high-level replacement systems (Q1971976) (← links)
• Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
• The uniqueness condition for the double pushout transformation of algebras (Q2486006) (← links)
• Adhesivity with partial maps instead of spans (Q2898462) (← links)
• (Q4845051) (← links)
• Single pushout transformations of equationally defined graph structures with applications to actor systems (Q5096285) (← links)
• On the expressive power of algebraic graph grammars with application conditions (Q5096746) (← links)