The following pages link to CSI (Q21746):
Displaying 20 items.
- Reachability, confluence, and termination analysis with state-compatible automata (Q515687) (← links)
- De Bruijn's weak diamond property revisited (Q740482) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- Conditions for confluence of innermost terminating term rewriting systems (Q2321950) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems (Q2405266) (← links)
- Nominal Confluence Tool (Q2817917) (← links)
- Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems (Q2829264) (← links)
- Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering (Q2849497) (← links)
- Confluence of Non-Left-Linear TRSs via Relative Termination (Q2891456) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- (Q2985126) (← links)
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087) (← links)
- (Q4553285) (← links)
- Conditional Confluence (System Description) (Q5170836) (← links)
- CSI – A Confluence Tool (Q5200045) (← links)
- (Q5277883) (← links)
- Certified Rule Labeling (Q5277884) (← links)
- Ground Confluence Prover based on Rewriting Induction (Q5369498) (← links)
- (Q5856421) (← links)