ConCon

swMATH21589MaRDI QIDQ33394FDOQ33394

Author name not available (Why is that?)

Official website: http://cl-informatik.uibk.ac.at/software/concon/

Cited In (10)

• Automatically Proving and Disproving Feasibility Conditions
• Formalizing soundness and completeness of unravelings
• Certifying confluence of almost orthogonal CTRSs via exact tree automata completion
• CSI
• Saigawa
• Conditional Confluence
• CO3
• FORT
• AGES
• Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems

This page was built for software: ConCon