Pages that link to "Item:Q690375"
From MaRDI portal
The following pages link to Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375):
Displaying 4 items.
- Algebraic transformation of unary partial algebras II: Single-pushout approach (Q1285664) (← links)
- Algebraic transformation of unary partial algebras. I: Double-pushout approach (Q1390937) (← 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)
