Pages that link to "Item:Q3953162"
From MaRDI portal
The following pages link to Transformations of structures: An algebraic approach (Q3953162):
Displayed 11 items.
- Confluence for graph transformations (Q672753) (← links)
- Relational graph rewritings (Q673789) (← links)
- On categorical graph grammars integrating structural transformations and operations on labels (Q685458) (← links)
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Foundations of rule-based design of modular systems (Q1176249) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- The monadic second-order logic of graphs. VII: Graphs as relational structures (Q1193407) (← links)
- Parallel high-level replacement systems (Q1389763) (← links)
- Graph expressions and graph rewritings (Q3782818) (← links)
- Parallelism and concurrency in high-level replacement systems (Q4006236) (← links)