The following pages link to CSI – A Confluence Tool (Q5200045):
Displaying 10 items.
- Reachability, confluence, and termination analysis with state-compatible automata (Q515687) (← links)
- De Bruijn's weak diamond property revisited (Q740482) (← links)
- Conditions for confluence of innermost terminating term rewriting systems (Q2321950) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- Nominal Confluence Tool (Q2817917) (← links)
- Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems (Q2829264) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- (Q2985126) (← links)
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087) (← links)
- (Q5856421) (← links)
