Pages that link to "Item:Q1337642"
From MaRDI portal
The following pages link to Some results on the confluence property of combined term rewriting systems (Q1337642):
Displaying 6 items.
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- A class of confluent term rewriting systems and unification (Q1101209) (← links)
- Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems (Q1707978) (← links)
- Confluence of curried term-rewriting systems (Q1907275) (← links)
- Conditions for confluence of innermost terminating term rewriting systems (Q2321950) (← links)
- Confluence of the disjoint union of conditional term rewriting systems (Q5881285) (← links)