Nagoya Termination Tool

swMATH21588MaRDI QIDQ33393FDOQ33393

Author name not available (Why is that?)

Described by source

• Nagoya Termination Tool

Cited In (8)

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

This page was built for software: Nagoya Termination Tool