CSI

swMATH9767MaRDI QIDQ21746

No author found.

Described by source

• CSI: new evidence -- a progress report

Related Items (20)

Confluence of Non-Left-Linear TRSs via Relative Termination ⋮ Unnamed Item ⋮ CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems ⋮ Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems ⋮ Unnamed Item ⋮ Layer Systems for Proving Confluence ⋮ Unnamed Item ⋮ Reachability, confluence, and termination analysis with state-compatible automata ⋮ Certified Rule Labeling ⋮ Conditional Confluence (System Description) ⋮ Unnamed Item ⋮ CSI – A Confluence Tool ⋮ Ground confluence of order-sorted conditional specifications modulo axioms ⋮ De Bruijn's weak diamond property revisited ⋮ Nominal Confluence Tool ⋮ 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 ⋮ Labelings for decreasing diagrams

This page was built for software: CSI