Pages that link to "Item:Q5277873"
From MaRDI portal
The following pages link to Presenting a Category Modulo a Rewriting System (Q5277873):
Displaying 5 items.
- Using rewriting systems to compute left Kan extensions and induced actions of categories (Q1971490) (← links)
- Tietze equivalences as weak equivalences (Q2139719) (← links)
- Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- Homological computations for term rewriting systems (Q5369492) (← links)