Saigawa
From MaRDI portal
Software:22071
swMATH10102MaRDI QIDQ22071FDOQ22071
Author name not available (Why is that?)
Cited In (8)
- Confluence by critical pair analysis revisited
- Title not available (Why is that?)
- Ground Confluence Prover based on Rewriting Induction
- Conditions for confluence of innermost terminating term rewriting systems
- Nominal Confluence Tool
- Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering
- Conditional Confluence (System Description)
- Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
This page was built for software: Saigawa
