Pages that link to "Item:Q5055958"
From MaRDI portal
The following pages link to Unique normal forms for nonlinear term rewriting systems: Root overlaps (Q5055958):
Displaying 5 items.
- Conditional linearization (Q698633) (← links)
- On the Normalization and Unique Normalization Properties of Term Rewrite Systems (Q3608777) (← links)
- (Q5111310) (← links)
- Non-\(\omega\)-overlapping TRSs are UN (Q5369487) (← links)
- Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem (Q5941196) (← links)