The following pages link to Nagoya Termination Tool (Q5170837):
Displaying 11 items.
- Nagoya Termination Tool (Q33393) (← links)
- Multi-dimensional interpretations for termination of term rewriting (Q2055861) (← links)
- Tuple interpretations for termination of term rewriting (Q2102931) (← links)
- Term orderings for non-reachability of (conditional) rewriting (Q2104512) (← links)
- Automated termination analysis of polynomial probabilistic programs (Q2233477) (← links)
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Relative termination via dependency pairs (Q2360875) (← links)
- Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (Q3454089) (← links)
- Reducing Relative Termination to Dependency Pair Problems (Q3454090) (← links)
- Satisfiability Checking: Theory and Applications (Q4571125) (← links)
- From innermost to full almost-sure termination of probabilistic term rewriting (Q6629527) (← links)