Pages that link to "Item:Q6052944"
From MaRDI portal
The following pages link to Fundamentals of compositional rewriting theory (Q6052944):
Displaying 7 items.
- A theory of binding structures and applications to rewriting (Q685380) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Specification and modelling of computing systems through graphs and graph transformation (Q6052952) (← links)
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)
- A living monograph for graph transformation (Q6535522) (← links)
- Diagrammatic calculus and generalized associativity for higher-arity tensor operations (Q6634380) (← links)