Pages that link to "Item:Q2321950"
From MaRDI portal
The following pages link to Conditions for confluence of innermost terminating term rewriting systems (Q2321950):
Displaying 5 items.
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system (Q1901710) (← links)
- Innermost termination of rewrite systems by labeling (Q2873673) (← links)
- Confluence of terminating conditional rewrite systems revisited (Q5055864) (← links)
- Confluence of the disjoint union of conditional term rewriting systems (Q5881285) (← links)