The following pages link to Unravelings and ultra-properties (Q2956716):
Displaying 15 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Operational termination of conditional term rewriting systems (Q1041807) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Transformation for Refining Unraveled Conditional Term Rewriting Systems (Q2866802) (← links)
- Formalizing Soundness and Completeness of Unravelings (Q2964466) (← links)
- (Q2980968) (← links)
- Transformations of Conditional Rewrite Systems Revisited (Q3184732) (← links)
- The theory of vaccines (Q4571995) (← links)
- Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (Q4993358) (← 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)
