The following pages link to (Q3719825):
Displaying 12 items.
- Transformations of expressions associated with systems of recursion relations (Q579918) (← links)
- Elimination transformations for associative-commutative rewriting systems (Q877834) (← links)
- Rewriting with equivalence relations in ACL2 (Q928668) (← links)
- Extensional equivalences for transition systems (Q1098303) (← links)
- How to prove equivalence of term rewriting systems without induction (Q1183582) (← links)
- Equivalence-preserving first-order unfold/fold transformation systems (Q1200980) (← links)
- (Q2778880) (← links)
- A class of rewriting rules and reverse transformation for rule-based equivalent transformation (Q2841245) (← links)
- Four equivalent equivalences of reductions (Q2843602) (← links)
- (Q4471715) (← links)
- Improving transformation systems for general E-unification (Q5055788) (← links)
- Correctness of Context-Moving Transformations for Term Rewriting Systems (Q5743602) (← links)