Pages that link to "Item:Q5881285"

The following pages link to Confluence of the disjoint union of conditional term rewriting systems (Q5881285):

Displaying 4 items.

• On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
• Modularity of Confluence (Q3541716) (← links)
• Combinations of simplifying conditional term rewriting systems (Q5881179) (← links)
• Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)