Pages that link to "Item:Q4943554"
From MaRDI portal
The following pages link to Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554):
Displaying 7 items.
- GS·Λ Theories (Q2842817) (← links)
- Modeling Pointer Redirection as Cyclic Term-graph Rewriting (Q2867899) (← links)
- Towards a Sharing Strategy for the Graph Rewriting Calculus (Q2873680) (← links)
- Sharing in the Graph Rewriting Calculus (Q2890320) (← links)
- A Term-Graph Syntax for Algebras over Multisets (Q3184730) (← links)
- A Note on an Old-Fashioned Algebra for (Disconnected) Graphs (Q5170278) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
