Pages that link to "Item:Q626714"
From MaRDI portal
The following pages link to Categorification, term rewriting and the Knuth-Bendix procedure (Q626714):
Displaying 10 items.
- Church-Rosser theorem for a rewriting system on categorical combinators (Q1119562) (← links)
- Using rewriting systems to compute left Kan extensions and induced actions of categories (Q1971490) (← links)
- Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
- Rewriting systems and Hochschild-Mitchell homology (Q2843715) (← links)
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting (Q2846582) (← links)
- (Q4888329) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- Presenting a Category Modulo a Rewriting System (Q5277873) (← links)
- Algebra and Coalgebra in Computer Science (Q5492828) (← links)
- A categorical formulation for critical-pair/completion procedures (Q5881196) (← links)