Pages that link to "Item:Q5096266"
From MaRDI portal
The following pages link to An abstract formulation for rewrite systems (Q5096266):
Displaying 17 items.
- Categorification, term rewriting and the Knuth-Bendix procedure (Q626714) (← links)
- Rewrite systems on a lattice of types (Q1064065) (← links)
- n-level rewriting systems (Q1084855) (← links)
- An algebraic structure for derivations in rewriting systems (Q1111012) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- Antimirov and Mosses’s Rewrite System Revisited (Q3602800) (← links)
- Computing with rewrite systems (Q3707361) (← links)
- (Q4227129) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- CPO models for infinite term rewriting (Q5096397) (← links)
- Context rewriting (Q5881173) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- Protocol choice and iteration for the free cornering (Q6151626) (← links)