Pages that link to "Item:Q5096266"
From MaRDI portal
The following pages link to An abstract formulation for rewrite systems (Q5096266):
Displaying 8 items.
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← 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)
