Pages that link to "Item:Q671506"
From MaRDI portal
The following pages link to On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506):
Displaying 9 items.
- Decreasing diagrams and relative termination (Q438562) (← links)
- Proving weak properties of rewriting (Q554217) (← links)
- Mechanizing and improving dependency pairs (Q877836) (← links)
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- A uniform framework for term and graph rewriting applied to combined systems (Q1583048) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
