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
