Pages that link to "Item:Q2949703"
From MaRDI portal
The following pages link to Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems (Q2949703):
Displaying 4 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
- Use of logical models for proving infeasibility in term rewriting (Q1751429) (← links)
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)