The following pages link to Nagoya Termination Tool (Q33393):
Displaying 8 items.
- On probabilistic term rewriting (Q1648879) (← links)
- Tuple interpretations for termination of term rewriting (Q2102931) (← links)
- Term orderings for non-reachability of (conditional) rewriting (Q2104512) (← links)
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Relative termination via dependency pairs (Q2360875) (← links)
- Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems (Q2405266) (← links)
- Reducing Relative Termination to Dependency Pair Problems (Q3454090) (← links)
- AC Dependency Pairs Revisited (Q5278394) (← links)