Pages that link to "Item:Q674762"
From MaRDI portal
The following pages link to On the modularity of normal forms in rewriting (Q674762):
Displaying 10 items.
- Bubbles in modularity (Q1127335) (← links)
- Congruential complements of ground term rewrite systems (Q1575250) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- (Q4553285) (← links)
- Modular aspects of properties of term rewriting systems related to normal forms (Q5055726) (← links)
- Modularity of completeness revisited (Q5055813) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← 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)