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)
- On word problems in Horn theories (Q757095) (← links)
- A completion procedure for conditional equations (Q758211) (← links)
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
- Improving rewriting induction approach for proving ground confluence (Q5111302) (← links)
