Nagoya Termination Tool

swMATH21588MaRDI QIDQ33393

No author found.

Described by source

• Nagoya Termination Tool

Related Items (8)

Relative termination via dependency pairs ⋮ Reducing Relative Termination to Dependency Pair Problems ⋮ On probabilistic term rewriting ⋮ Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems ⋮ AC Dependency Pairs Revisited ⋮ Confluence by critical pair analysis revisited ⋮ Tuple interpretations for termination of term rewriting ⋮ Term orderings for non-reachability of (conditional) rewriting

This page was built for software: Nagoya Termination Tool