Pages that link to "Item:Q4923533"
From MaRDI portal
The following pages link to Categorical rewriting of term-like structures (Q4923533):
Displaying 9 items.
- Two Lax categorifications of Kalman algebras and the category of minimization heuristics (Q843651) (← links)
- Using rewriting systems to compute left Kan extensions and induced actions of categories (Q1971490) (← links)
- A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
- A Term-Graph Syntax for Algebras over Multisets (Q3184730) (← links)
- GETGRATS (Q4923529) (← links)
- (Q5018495) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- Presenting a Category Modulo a Rewriting System (Q5277873) (← links)
- Rewriting in Gray categories with applications to coherence (Q5877242) (← links)