Pages that link to "Item:Q1907275"
From MaRDI portal
The following pages link to Confluence of curried term-rewriting systems (Q1907275):
Displaying 5 items.
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Remarks on Thatte's transformation of term rewriting systems (Q1763376) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- Simplifying Algebraic Functional Systems (Q3014941) (← links)
- Currying of order-sorted term rewriting systems (Q6085707) (← links)
