Pages that link to "Item:Q2866802"
From MaRDI portal
The following pages link to Transformation for refining unraveled conditional term rewriting systems (Q2866802):
Displaying 11 items.
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Elimination of conditions (Q1974693) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity (Q2904621) (← links)
- Transformations of Conditional Rewrite Systems Revisited (Q3184732) (← links)
- (Q3819981) (← links)
- Improving transformation systems for general E-unification (Q5055788) (← 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)
- Correctness of Context-Moving Transformations for Term Rewriting Systems (Q5743602) (← links)
- Guided unfoldings for finding loops in standard term rewriting (Q6085974) (← links)