Pages that link to "Item:Q2891456"
From MaRDI portal
The following pages link to Confluence of Non-Left-Linear TRSs via Relative Termination (Q2891456):
Displaying 6 items.
- Labelings for decreasing diagrams (Q2352504) (← links)
- Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems (Q2829264) (← links)
- Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (Q3454085) (← links)
- Semantic confluence tests and completion methods (Q3732980) (← links)
- Confluence without termination via parallel critical pairs (Q5878911) (← links)
- Testing confluence of nonterminating rewriting systems (Q5881272) (← links)