ConCon
From MaRDI portal
Cited in
(11)- TALP
- CSI
- Saigawa
- Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems
- Conditional Confluence
- Formalizing soundness and completeness of unravelings
- CO3
- FORT
- AGES
- Automatically Proving and Disproving Feasibility Conditions
- Certifying confluence of almost orthogonal CTRSs via exact tree automata completion
This page was built for software: ConCon
