The following pages link to Term Rewriting and Applications (Q5703865):
Displaying 6 items.
- Invariants, patterns and weights for ordering terms (Q1581131) (← links)
- Induction using term orders (Q1915132) (← links)
- Using context-sensitive rewriting for proving innermost termination of rewriting (Q2808236) (← links)
- (Q4276397) (← links)
- Analysing parallel complexity of term rewriting (Q6160759) (← links)
- On complexity bounds and confluence of parallel term rewriting (Q6622000) (← links)