The following pages link to (Q4158499):
Displayed 6 items.
- Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Computation on graph-like expressions (Q1134513) (← links)
- Parallelism and concurrency of graph manipulations (Q1147520) (← links)
- Processes of transforming structures (Q1166273) (← links)
- Transformations of structures: An algebraic approach (Q3953162) (← links)