The following pages link to Saigawa (Q22071):
Displaying 8 items.
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Conditions for confluence of innermost terminating term rewriting systems (Q2321950) (← 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)
- Conditional Confluence (System Description) (Q5170836) (← links)
- (Q5277883) (← links)
- Ground Confluence Prover based on Rewriting Induction (Q5369498) (← links)
