ConCon
From MaRDI portal
Software:33394
No author found.
Related Items (4)
Automatically Proving and Disproving Feasibility Conditions ⋮ Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems ⋮ Formalizing Soundness and Completeness of Unravelings ⋮ Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion
This page was built for software: ConCon
