The following pages link to Elimination of conditions (Q1974693):
Displaying 10 items.
- Transformation for refining unraveled conditional term rewriting systems (Q2866802) (← links)
- (Q2980968) (← links)
- Transformations of Conditional Rewrite Systems Revisited (Q3184732) (← links)
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328) (← links)
- Computationally Equivalent Elimination of Conditions (Q3527281) (← links)
- (Q3530400) (← links)
- Reachability in Conditional Term Rewriting Systems (Q4916227) (← links)
- Completion after Program Inversion of Injective Functions (Q5170160) (← links)
- Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems (Q5240131) (← links)
- On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings (Q5240136) (← links)