NaTT

swMATH43909MaRDI QIDQ5972578FDOQ5972578

Author name not available (Why is that?)

Described by source

• Term orderings for non-reachability of (conditional) rewriting

Cited In (5)

• Tuple interpretations for termination of term rewriting
• Multi-dimensional interpretations for termination of term rewriting
• Relative termination via dependency pairs
• On probabilistic term rewriting
• Nagoya Termination Tool

This page was built for software: NaTT