The following pages link to (Q3721799):
Displaying 4 items.
- Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
- Foundations of rule-based design of modular systems (Q1176249) (← links)
- Amalgamation of graph transformations: a synchronization mechanism (Q1822505) (← links)
- Properties of commutative transformations of data models (Q3738615) (← links)