ConCon

swMATH21589MaRDI QIDQ33394FDOQ33394

Author name not available (Why is that?)

Cited In (4)

• Automatically Proving and Disproving Feasibility Conditions
• Formalizing Soundness and Completeness of Unravelings
• Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems
• Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion

This page was built for software: ConCon