The following pages link to (Q4520528):
Displaying 12 items.
- Decreasing diagrams and relative termination (Q438562) (← links)
- Levels of undecidability in rewriting (Q627134) (← links)
- Remarks on Thatte's transformation of term rewriting systems (Q1763376) (← links)
- Deciding confluence of certain term rewriting systems in polynomial time (Q1886319) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- A Confluent Rewriting System Having No Computable, One-Step, Normalizing Strategy (Q2946765) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- Modularity of Confluence (Q3541716) (← links)
- Proving Confluence of Term Rewriting Systems Automatically (Q3636821) (← links)
- Degrees of Undecidability in Term Rewriting (Q3644753) (← links)
- Decreasing Diagrams and Relative Termination (Q5747786) (← links)
