The following pages link to (Q4922540):
Displaying 4 items.
- Formalizing Soundness and Completeness of Unravelings (Q2964466) (← links)
- Converting between Combinatory Reduction Systems and Big Step Semantics (Q3184752) (← 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)
