NaTT

swMATH43909MaRDI QIDQ5972578

No author found.

Described by source

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

Related Items (5)

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

This page was built for software: NaTT