Pages that link to "Item:Q5881179"
From MaRDI portal
The following pages link to Combinations of simplifying conditional term rewriting systems (Q5881179):
Displaying 9 items.
- Simplifying conditional term rewriting systems: Unification, termination and confluence (Q1100891) (← links)
- Some results on the confluence property of combined term rewriting systems (Q1337642) (← links)
- On the modularity of termination of term rewriting systems (Q1349693) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Church-Rosser property for conditional rewriting systems with built-in predicates as premises (Q2782478) (← links)
- (Q3490948) (← links)
- (Q3819993) (← links)
- Completeness of combinations of conditional constructor systems (Q5881177) (← links)