Saigawa
From MaRDI portal
Software:22071
No author found.
Related Items (8)
Unnamed Item ⋮ Conditional Confluence (System Description) ⋮ Nominal Confluence Tool ⋮ Confluence by critical pair analysis revisited ⋮ Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems ⋮ Conditions for confluence of innermost terminating term rewriting systems ⋮ Ground Confluence Prover based on Rewriting Induction ⋮ Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering
This page was built for software: Saigawa
