Pages that link to "Item:Q2904621"

The following pages link to Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity (Q2904621):

Displaying 8 items.

• Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
• Reversible computation in term rewriting (Q1683707) (← links)
• Determinization of conditional term rewriting systems (Q1929232) (← links)
• Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
• Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
• Formalizing Soundness and Completeness of Unravelings (Q2964466) (← links)
• (Q2980968) (← links)
• On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings (Q5240136) (← links)