Pages that link to "Item:Q5096311"
From MaRDI portal
The following pages link to On modularity in term rewriting and narrowing (Q5096311):
Displaying 6 items.
- On the modularity of normal forms in rewriting (Q674762) (← links)
- Modular properties of conditional term rewriting systems (Q689098) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- Bubbles in modularity (Q1127335) (← links)
- Modular termination of basic narrowing and equational unification (Q2889572) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)