Pages that link to "Item:Q710679"
From MaRDI portal
The following pages link to Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679):
Displayed 10 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)
- Using well-founded relations for proving operational termination (Q2303238) (← links)
- (Q2980968) (← links)
- Transformations of Conditional Rewrite Systems Revisited (Q3184732) (← links)
- Completion after Program Inversion of Injective Functions (Q5170160) (← links)
- (Q5240136) (← links)