The following pages link to (Q3753472):
Displaying 7 items.
- Sufficient completeness verification for conditional and constrained TRS (Q420848) (← links)
- Using induction and rewriting to verify and complete parameterized specifications (Q672051) (← links)
- A completion procedure for conditional equations (Q758211) (← links)
- Proofs in parameterized specifications (Q5055758) (← links)
- Improving rewriting induction approach for proving ground confluence (Q5111302) (← links)
- Completion of first-order clauses with equality by strict superposition (Q5881276) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)
