Pages that link to "Item:Q672714"
From MaRDI portal
The following pages link to Modular termination of \(r\)-consistent and left-linear term rewriting systems (Q672714):
Displaying 6 items.
- Bubbles in modularity (Q1127335) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- The theory of vaccines (Q4571995) (← links)
- On proving termination by innermost termination (Q5055854) (← links)
- On the specification of visual languages: multisets as first-class citizens (Q6560194) (← links)
