Pages that link to "Item:Q3184732"
From MaRDI portal
The following pages link to Transformations of Conditional Rewrite Systems Revisited (Q3184732):
Displaying 10 items.
- Transformations of expressions associated with systems of recursion relations (Q579918) (← links)
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Elimination transformations for associative-commutative rewriting systems (Q877834) (← links)
- A transformational characterization of if-then-else (Q913480) (← links)
- A class of rewriting rules and reverse transformation for rule-based equivalent transformation (Q2841245) (← links)
- (Q3719825) (← links)
- (Q3819993) (← 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)