Pages that link to "Item:Q2881099"
From MaRDI portal
The following pages link to A reduction-preserving completion for proving confluence of non-terminating term rewriting systems (Q2881099):
Displaying 7 items.
- Modularity in term rewriting revisited (Q1929227) (← links)
- From diagrammatic confluence to modularity (Q1929228) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087) (← links)
- Semantic confluence tests and completion methods (Q3732980) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- Testing confluence of nonterminating rewriting systems (Q5881272) (← links)