Pages that link to "Item:Q910207"

The following pages link to Modular term rewriting systems and the termination (Q910207):

Displaying 7 items.

• Modularity of simple termination of term rewriting systems with shared constructors (Q1199539) (← links)
• Generalized sufficient conditions for modular termination of rewriting (Q1328180) (← links)
• Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
• Modularity in term rewriting revisited (Q1929227) (← links)
• On modularity in infinitary term rewriting (Q2496298) (← links)
• Completeness of combinations of constructor systems (Q5055759) (← links)
• Confluence of the disjoint union of conditional term rewriting systems (Q5881285) (← links)