The following pages link to ConCon (Q33394):
Displaying 4 items.
- Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems (Q2405266) (← links)
- Formalizing Soundness and Completeness of Unravelings (Q2964466) (← links)
- Automatically Proving and Disproving Feasibility Conditions (Q5049020) (← links)
- Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion (Q5369494) (← links)