Pages that link to "Item:Q1907275"
From MaRDI portal
The following pages link to Confluence of curried term-rewriting systems (Q1907275):
Displaying 15 items.
- On ground-confluence of term rewriting systems (Q913496) (← links)
- A class of confluent term rewriting systems and unification (Q1101209) (← links)
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Remarks on Thatte's transformation of term rewriting systems (Q1763376) (← links)
- Comparing curried and uncurried rewriting (Q1918496) (← links)
- Confluence in probabilistic rewriting (Q2333318) (← links)
- (Q2941450) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- Simplifying Algebraic Functional Systems (Q3014941) (← links)
- (Q3780426) (← links)
- (Q4553285) (← links)
- (Q5013873) (← links)
- Compositional term rewriting: An algebraic proof of Toyama's theorem (Q5055865) (← links)
- Term Rewriting and Applications (Q5703842) (← links)
- Currying of order-sorted term rewriting systems (Q6085707) (← links)