Pages that link to "Item:Q5881180"
From MaRDI portal
The following pages link to Sufficient conditions for modular termination of conditional term rewriting systems (Q5881180):
Displaying 6 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- On the modularity of termination of term rewriting systems (Q1349693) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- The theory of vaccines (Q4571995) (← links)
- Completeness of combinations of conditional constructor systems (Q5881177) (← links)
