The following pages link to Confluence by decreasing diagrams (Q1322164):
Displaying 36 items.
- Decreasing diagrams and relative termination (Q438562) (← links)
- De Bruijn's weak diamond property revisited (Q740482) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Diagram techniques for confluence (Q1271472) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- From diagrammatic confluence to modularity (Q1929228) (← links)
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups (Q2219329) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category (Q2411669) (← links)
- Braids via term rewriting (Q2422032) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- (Q2985126) (← links)
- Control reduction theories: the benefit of structural substitution (Q3503192) (← links)
- Confluence by Decreasing Diagrams (Q3522026) (← links)
- Modularity of Confluence (Q3541716) (← links)
- Proving Confluence of Term Rewriting Systems Automatically (Q3636821) (← links)
- Finding small counterexamples for abstract rewriting properties (Q4585013) (← links)
- Development closed critical pairs (Q4645811) (← links)
- Diagrammatic confluence for Constraint Handling Rules (Q4911146) (← links)
- Decreasing diagrams with two labels are complete for confluence of countable systems (Q4993340) (← links)
- (Q5009706) (← links)
- More problems in rewriting (Q5055812) (← links)
- Problems in rewriting III (Q5055847) (← links)
- (Q5109511) (← links)
- Improving rewriting induction approach for proving ground confluence (Q5111302) (← links)
- CSI – A Confluence Tool (Q5200045) (← links)
- Labelings for Decreasing Diagrams. (Q5389095) (← links)
- Confluence: The Unifying, Expressive Power of Locality (Q5403076) (← links)
- a-Logic With Arrows (Q5403474) (← links)
- Decreasing Diagrams and Relative Termination (Q5747786) (← links)
- (Q5856410) (← links)
- Confluence without termination via parallel critical pairs (Q5878911) (← links)
- Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs (Q5879268) (← links)
- On reduction and normalization in the computational core (Q5879269) (← links)
- Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem (Q5941196) (← links)
