The following pages link to (Q2980968):
Displaying 6 items.
- Complexity analysis of term-rewriting systems (Q1262761) (← links)
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- (Q3819981) (← links)
- Conditional term rewriting and first-order theorem proving (Q5881190) (← links)